Sciweavers

3776 search results - page 42 / 756

» Partition-Based Logical Reasoning

26

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 7 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

27

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 7 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 »

23

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

13 years 7 months ago

A Compatible Approach to Temporal Description Logics

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

19

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 6 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 »

26

LPAR
2010
Springer

139views Automated Reasoning» more LPAR 2010»

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

13 years 6 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 »

« Prev « First page 42 / 756 Last » Next »