Search Sciweavers | Sciweavers

3970 search results - page 85 / 794

» A Logic For Causal Reasoning

128

click to vote

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

15 years 7 months ago

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 »

117

Voted

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 6 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

102

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 5 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

116

Voted

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

132

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers