Search Sciweavers | Sciweavers

3773 search results - page 104 / 755

» Logical Reasoning

158

click to vote

IJCAI
1989

110views Artificial Intelligence» more IJCAI 1989»

Preferred Subtheories: An Extended Logical Framework for Default Reasoning

15 years 7 months ago

Download dli.iiit.ac.in

We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...

Gerhard Brewka

claim paper

Read More »

177

click to vote

SWAP
2008

182views Internet Technology» more SWAP 2008»

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...

Federico Chesani, Paola Mello, Marco Montali, Paol...

claim paper

Read More »

160

click to vote

ICLP
2003
Springer

110views Automated Reasoning» more ICLP 2003»

A Tutorial on Proof Theoretic Foundations of Logic Programming

15 years 11 months ago

Download www.ki.inf.tu-dresden.de

Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...

Paola Bruscoli, Alessio Guglielmi

claim paper

Read More »

269

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 7 months ago