Search Sciweavers | Sciweavers

30

DIS
2003
Springer

105views Theoretical Computer Science» more DIS 2003»

Scilog: A Language for Scientific Processes and Scales

14 years 1 months ago

We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...

Joseph Phillips

claim paper

Read More »

28

click to vote

ISMIS
1993
Springer

122views Artificial Intelligence» more ISMIS 1993»

Compiling Proof Search in Semantic Tableaux

13 years 12 months ago

Download web.sec.uni-passau.de

An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...

Joachim Posegga

claim paper

Read More »

21

click to vote

TPLP
2008

118views more TPLP 2008»

Logic programming with satisfiability

13 years 7 months ago

Download www.cs.bgu.ac.il

This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

claim paper

Read More »

27

click to vote

APIN
2000

155views more APIN 2000»

Defeasible Logic on an Embedded Microcontroller

13 years 7 months ago

Download www.ai.uga.edu

Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...

Michael A. Covington

claim paper

Read More »

59

click to vote

ICLP
2009
Springer

89views Automated Reasoning» more ICLP 2009»

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse

14 years 8 months ago

Download logtalk.org

Paulo Moura

claim paper