Sciweavers

3776 search results - page 42 / 756

» Partition-Based Logical Reasoning

100

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

15 years 10 days ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

81

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

15 years 10 days 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 »

90

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

14 years 12 months ago

A Compatible Approach to Temporal Description Logics

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

95

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

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

14 years 11 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 »

96

LPAR
2010
Springer

139views Automated Reasoning» more LPAR 2010»

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

14 years 11 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 »