Informatik (14.430 Artikel)

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and re...

Nonmononic reasoning.- On the Complexity of Theory Curbing.- Descriptive complexity.- Graph Operations and Monadic Second-Order Logic: A Survey.- Efficient First Order Functional Program Interprete...

Improving On-Demand Strategy Annotations.- First-Order Logic as a Constraint Programming Language.- Maintenance of Formal Software Developments by Stratified Verification.- A Note on Universal Meas...

From Tableaux to Automata for Description Logics.- Disproving False Conjectures.- A Formal Proof of Dickson's Lemma in ACL2.- Imperative Object-Based Calculi in Co-inductive Type Theories.- Congrue...

This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the Unive...

Higher-Order Termination: From Kruskal to Computability.- Deciding Satisfiability of Positive Second Order Joinability Formulae.- SAT Solving for Argument Filterings.- Inductive Decidability Using ...

From Hilbert's Program to a Logic Toolbox.- On the Notion of Vacuous Truth.- Whatever Happened to Deductive Question Answering?.- Decidable Fragments of Many-Sorted Logic.- One-Pass Tableaux for Co...

CERES in Many-Valued Logics.- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.- Abstract DPLL and Abstract DPLL Modulo Theories.- Combining Lists with Non-stably Infinite T...

Independently Checkable Proofs from Decision Procedures: Issues and Progress.- Zap: Automated Theorem Proving for Software Analysis.- Decision Procedures for SAT, SAT Modulo Theories and Beyond. Th...

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 2...

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Afr...

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which too...

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of ...

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf...