Sciweavers

3776 search results - page 62 / 756

» Partition-Based Logical Reasoning

138

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

Download pauillac.inria.fr

François Fages

claim paper

Read More »

146

ILP
2004
Springer

98views Automated Reasoning» more ILP 2004»

Learning, Logic, and Probability: A Unified View

15 years 11 months ago

Learning, Logic, and Probability: A Unified View

Download iclp08.dimi.uniud.it

Pedro Domingos

claim paper

Read More »

124

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 11 months ago

Logical Mobility and Locality Types

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

117

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 10 months ago

Reasoning about Duplicate Elimination with Description Logic

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

156

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

15 years 9 months ago

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

Download pubs.doc.ic.ac.uk

Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...

Fariba Sadri, Francesca Toni

claim paper

Read More »

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