Search Sciweavers | Sciweavers

3970 search results - page 85 / 794

» A Logic For Causal Reasoning

click to vote

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

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

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

13 years 10 months ago

Download dl.kr.org

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

claim paper

Read More »

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

13 years 9 months ago

Download www.mindswap.org

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

claim paper

Read More »

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers