Search Sciweavers | Sciweavers

3891 search results - page 79 / 779

» A logic for strategic reasoning

137

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

101

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

15 years 10 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

124

click to vote

TARK
1990
Springer

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

15 years 10 months ago

Download www.cs.cornell.edu

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

claim paper

Read More »

133

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 9 months ago

Download www.comlab.ox.ac.uk

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

claim paper

Read More »

109

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers