Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664925, 9783540482420

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Games for the Alternation-Free μ-Calculus and Alternating Automata

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_6 ◽

1999 ◽

pp. 77-91 ◽

Cited By ~ 8

Author(s):

Martin Leucker

Keyword(s):

Model Checking ◽

Alternating Automata

Download Full-text

Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_18 ◽

1999 ◽

pp. 286-303 ◽

Cited By ~ 1

Author(s):

Michael Dierkes

Keyword(s):

Horn Clauses

Download Full-text

Regular Sets of Descendants for Constructor-Based Rewrite Systems

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_10 ◽

1999 ◽

pp. 148-160 ◽

Cited By ~ 8

Author(s):

Pierre Réty

Keyword(s):

Rewrite Systems ◽

Regular Sets

Download Full-text

On the Complexity of Single-Rule Datalog Queries

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_13 ◽

1999 ◽

pp. 201-222

Author(s):

Georg Gottlob ◽

Christos Papadimitriou

Download Full-text

Beth Definability for the Guarded Fragment

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_17 ◽

1999 ◽

pp. 273-285 ◽

Cited By ~ 8

Author(s):

Eva Hoogland ◽

Maarten Marx ◽

Martin Otto

Keyword(s):

Beth Definability ◽

Guarded Fragment

Download Full-text

Resource Management in Linear Logic Proof Search Revisited

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_19 ◽

1999 ◽

pp. 304-319 ◽

Cited By ~ 5

Author(s):

Pablo López ◽

Ernesto Pimentel

Keyword(s):

Resource Management ◽

Linear Logic ◽

Proof Search

Download Full-text

A Fixpoint Semantics for Reasoning about Finite Failure

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_15 ◽

1999 ◽

pp. 238-257 ◽

Cited By ~ 2

Author(s):

Roberta Gori

Keyword(s):

Fixpoint Semantics

Download Full-text

Abstracting Properties in Concurrent Constraint Programming

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_14 ◽

1999 ◽

pp. 223-237

Author(s):

René Moreno

Keyword(s):

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

Extensions to the Estimation Calculus

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_16 ◽

1999 ◽

pp. 258-272 ◽

Cited By ~ 1

Author(s):

Jeremy Gow ◽

Alan Bundy ◽

Ian Green

Download Full-text

Practical Reasoning for Expressive Description Logics

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_11 ◽

1999 ◽

pp. 161-180 ◽

Cited By ~ 150

Author(s):

Ian Horrocks ◽

Ulrike Sattler ◽

Stephan Tobies

Keyword(s):

Practical Reasoning ◽

Description Logics

Download Full-text

Logic for Programming and Automated Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model Checking Games for the Alternation-Free μ-Calculus and Alternating Automata

Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas

Regular Sets of Descendants for Constructor-Based Rewrite Systems

On the Complexity of Single-Rule Datalog Queries

Beth Definability for the Guarded Fragment

Resource Management in Linear Logic Proof Search Revisited

A Fixpoint Semantics for Reasoning about Finite Failure

Abstracting Properties in Concurrent Constraint Programming

Extensions to the Estimation Calculus

Practical Reasoning for Expressive Description Logics

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications