Search Sciweavers | Sciweavers

2585 search results - page 35 / 517

» Automating Coherent Logic

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

15 years 7 months ago

Download reference.kfupm.edu.sa

Alan Borning, Michael J. Maher, Amy Martindale, Mo...

claim paper

Read More »

click to vote

TARK
1990
Springer

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

15 years 7 months ago

Download www.cs.cornell.edu

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

claim paper

Read More »

100

Voted

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 6 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...

claim paper

Read More »

105

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 months ago

Download dl.kr.org

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

claim paper

Read More »

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers