ISBN: 9783540478300
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of th… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540478300
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations Automat, automated reasoning, database, deductive d… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540478300
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations Automat, automated reasoning, database, deductive d… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540478300
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of th… Mehr…
ISBN: 9783540478300
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations Automat, automated reasoning, database, deductive d… Mehr…
ISBN: 9783540478300
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations Automat, automated reasoning, database, deductive d… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming and Automated Reasoning
EAN (ISBN-13): 9783540478300
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-09-16T23:07:32+02:00 (Zurich)
ISBN/EAN: 9783540478300
ISBN - alternative Schreibweisen:
978-3-540-47830-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov
Titel des Buches: automated reasoning, logic programming
Daten vom Verlag:
Autor/in: Andrei Voronkov
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Verlag: Springer; Springer Berlin
394 Seiten
Erscheinungsjahr: 2005-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 394 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; automated reasoning; database; deductive database; logic; modeling; programming; proving; C; Artificial Intelligence; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Computer Science; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BC
Entailment and disentailment of order-sorted feature constraints.- Computing extensions of default logic — Preliminary report.- Prolog with arrays and bounded quantifications.- Linear 0–1 inequalities and extended clauses.- Search space pruning by checking dynamic term growth.- A proof search system for a modal substructural logic based on labelled deductive systems.- Consistency checking of automata functional specifications.- Yet another application for Toupie: Verification of mutual exclusion algorithms.- Parsing with DCG-terms.- A first order resolution calculus with symmetries.- Ordered paramodulation and resolution as decision procedure.- Static analysis of Prolog with cut.- A new type theory for representing logics.- Verification of Switch-level designs with many-valued logic.- Deciding in HFS-theory via linear integer programming.- The completion of typed logic programs and SLDNF-resolution.- Increasing the versatility of heuristic based theorem provers.- Sequentialization of parallel logic programs with mode analysis.- Refinements and extensions of model elimination.- Executable specifications based on dynamic algebras.- Generic resolution in propositional modal systems.- Optimized translation of multi modal logic into predicate logic.- Default reasoning with a constraint resolution principle.- Non-clausal deductive techniques for computing prime implicants and prime implicates.- Unification under one-sided distributivity with a multiplicative unit.- Unification in Order-Sorted Logic with Term Declarations.- Extracting inheritance hierarchies from Prolog programs: A system based on the inference of type relations.- A comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems.- Neutralization and preemption inextended logic programs.- MULTLOG: A system for axiomatizing many-valued logics.- SKIL: A system for programming with proofs.- Reasoning about the reals: the marriage of HOL and maple.- System description of LAMBDALG.- Mixing metafor.- A complete axiom system for isomorphism of types in closed categories.- Reasoning, modeling, and component-based technology.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387557274 Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Russia) Lpar (1992 Saint Petersburg, Andrei Voronkov, Andrei Voronkov)
- 9780387557274 Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Russia) Lpar (1992 Saint Petersburg, Andrei Voronkov, Andrei Voronkov)
- 9783540557272 Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624, Band 624) (Voronkov, Andrei)
- 9780387569444 Ramanujan's Lost Notebook (Lecture Notes in Computer Science) (Andrews, George E. Berndt, Bruce C.)
- Ramanujan´s Lost Notebook (George E. , Andrews;Bruce C. Berndt)
< zum Archiv...