Sciweavers

46 search results - page 1 / 10

» lpar 2010

8

LPAR
2010
Springer

102views Automated Reasoning» more LPAR 2010»

Atomic Cut Introduction by Resolution: Proof Structuring and Compression

13 years 2 months ago

Atomic Cut Introduction by Resolution: Proof Structuring and Compression

Download www.logic.at

Bruno Woltzenlogel Paleo

claim paper

Read More »

10

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 2 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

13

LPAR
2010
Springer

139views Automated Reasoning» more LPAR 2010»

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

13 years 2 months ago

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

Download www.ps.uni-saarland.de

Mark Kaminski, Gert Smolka

claim paper

Read More »

6

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

13 years 2 months ago

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

13

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

13 years 2 months ago

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

« Prev « First page 1 / 10 Last » Next »