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

9783540201014, 9783540398134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strict Geometry of Interaction Graph Models

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

10.1007/978-3-540-39813-4_29 ◽

2003 ◽

pp. 407-421 ◽

Cited By ~ 1

Author(s):

Furio Honsell ◽

Marina Lenisa ◽

Rekha Redamalla

Keyword(s):

Interaction Graph ◽

Graph Models

Download Full-text

A Syntax-Based Approach to Reasoning about Actions and Events

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

10.1007/978-3-540-39813-4_19 ◽

2003 ◽

pp. 274-288

Author(s):

Quoc Bao Vo ◽

Abhaya Nayak ◽

Norman Foo

Keyword(s):

Reasoning About Actions

Download Full-text

Computing Preferred Answer Sets in Answer Set Programming

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

10.1007/978-3-540-39813-4_18 ◽

2003 ◽

pp. 259-273 ◽

Cited By ~ 9

Author(s):

Toshiko Wakaki ◽

Katsumi Inoue ◽

Chiaki Sakama ◽

Katsumi Nitta

Keyword(s):

Answer Set Programming ◽

Answer Sets ◽

Answer Set

Download Full-text

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems

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

10.1007/978-3-540-39813-4_26 ◽

2003 ◽

pp. 361-375 ◽

Cited By ~ 22

Author(s):

Jean-Michel Couvreur ◽

Nasser Saheb ◽

Grégoire Sutre

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

Ltl Model Checking

Download Full-text

Automatic Structures of Bounded Degree

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

10.1007/978-3-540-39813-4_25 ◽

2003 ◽

pp. 346-360 ◽

Cited By ~ 5

Author(s):

Markus Lohrey

Keyword(s):

Bounded Degree ◽

Automatic Structures

Download Full-text

Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

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

10.1007/978-3-540-39813-4_10 ◽

2003 ◽

pp. 152-166 ◽

Cited By ~ 5

Author(s):

Silvio Ghilardi ◽

Luigi Santocanale

Keyword(s):

Modal Logics

Download Full-text

NP-Completeness Results for Deductive Problems on Stratified Terms

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

10.1007/978-3-540-39813-4_23 ◽

2003 ◽

pp. 317-331 ◽

Cited By ~ 4

Author(s):

Thierry Boy de la Tour ◽

Mnacho Echenim

Keyword(s):

Np Completeness

Download Full-text

Extended Canonicity of Certain Topological Properties of Set Spaces

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

10.1007/978-3-540-39813-4_9 ◽

2003 ◽

pp. 137-151 ◽

Cited By ~ 3

Author(s):

Bernhard Heinemann

Keyword(s):

Topological Properties

Download Full-text

Once upon a Time in the West

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

10.1007/978-3-540-39813-4_16 ◽

2003 ◽

pp. 229-243 ◽

Cited By ~ 5

Author(s):

Dietmar Berwanger ◽

Erich Grädel ◽

Stephan Kreutzer

Keyword(s):

The West

Download Full-text

Disproving False Conjectures

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

10.1007/978-3-540-39813-4_2 ◽

2003 ◽

pp. 33-48 ◽

Cited By ~ 2

Author(s):

Serge Autexier ◽

Carsten Schürmann

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

Strict Geometry of Interaction Graph Models

A Syntax-Based Approach to Reasoning about Actions and Events

Computing Preferred Answer Sets in Answer Set Programming

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems

Automatic Structures of Bounded Degree

Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

NP-Completeness Results for Deductive Problems on Stratified Terms

Extended Canonicity of Certain Topological Properties of Set Spaces

Once upon a Time in the West

Disproving False Conjectures

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