Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540000105, 9783540360780

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gödel Logics and Cantor-Bendixon Analysis

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_22 ◽

2002 ◽

pp. 327-336 ◽

Cited By ~ 1

Author(s):

Norbert Preining

Download Full-text

Using BDDs with Combinations of Theories

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_13 ◽

2002 ◽

pp. 190-201 ◽

Cited By ~ 7

Author(s):

Pascal Fontaine ◽

E. Pascal Gribomont

Download Full-text

Directed Automated Theorem Proving

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_10 ◽

2002 ◽

pp. 145-159 ◽

Cited By ~ 1

Author(s):

Stefan Edelkamp ◽

Peter Leven

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Searching for Invariants Using Temporal Resolution

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_6 ◽

2002 ◽

pp. 86-101 ◽

Cited By ~ 4

Author(s):

James Brotherston ◽

Anatoli Degtyarev ◽

Michael Fisher ◽

Alexei Lisitsa

Keyword(s):

Temporal Resolution

Download Full-text

Pushdown Specifications

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_18 ◽

2002 ◽

pp. 262-277 ◽

Cited By ~ 18

Author(s):

Orna Kupferman ◽

Nir Piterman ◽

Moshe Y. Vardi

Download Full-text

On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_12 ◽

2002 ◽

pp. 175-189 ◽

Cited By ~ 1

Author(s):

Mauro Ferrari ◽

Camillo Fiorentini ◽

Guido Fiorino

Keyword(s):

Intermediate Logics

Download Full-text

Parallelism and Tree Regular Constraints

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_21 ◽

2002 ◽

pp. 311-326 ◽

Cited By ~ 1

Author(s):

Joachim Niehren ◽

Mateu Villaret

Download Full-text

On Expressive Description Logics with Composition of Roles in Number Restrictions

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_14 ◽

2002 ◽

pp. 202-215 ◽

Cited By ~ 1

Author(s):

Fabio Grandi

Keyword(s):

Description Logics

Download Full-text

Investigating Type-Certifying Compilation with Isabelle

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_27 ◽

2002 ◽

pp. 403-417 ◽

Cited By ~ 1

Author(s):

Martin Strecker

Keyword(s):

Certifying Compilation

Download Full-text

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-36078-6_15 ◽

2002 ◽

pp. 216-230

Author(s):

Gianluigi Greco ◽

Sergio Greco ◽

Irina Trubtsyna ◽

Ester Zumpano

Keyword(s):

Query Optimization ◽

Disjunctive Databases

Download Full-text

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Gödel Logics and Cantor-Bendixon Analysis

Using BDDs with Combinations of Theories

Directed Automated Theorem Proving

Searching for Invariants Using Temporal Resolution

Pushdown Specifications

On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics

Parallelism and Tree Regular Constraints

On Expressive Description Logics with Composition of Roles in Number Restrictions

Investigating Type-Certifying Compilation with Isabelle

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications