Search Sciweavers | Sciweavers

1137 search results - page 26 / 228

» Knowledge Representation with Logic Programs

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

14 years 2 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

click to vote

UAI
2004

153views Artificial Intelligence» more UAI 2004»

A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

13 years 10 months ago

Download cs.uns.edu.ar

Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...

Carlos Iván Chesñevar, Guillermo Ric...

claim paper

Read More »

click to vote

UAI
2003

131views Artificial Intelligence» more UAI 2003»

CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

13 years 10 months ago

Download www.dcc.fc.up.pt

Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantiﬁed variables, are represent...

Vítor Santos Costa, David Page, Maleeha Qaz...

claim paper

Read More »

click to vote

DIS
1998
Springer

92views Theoretical Computer Science» more DIS 1998»

Biochemical Knowledge Discovery Using Inductive Logic Programming

14 years 28 days ago

Download www.doc.ic.ac.uk

Stephen Muggleton, Ashwin Srinivasan, Ross D. King...

claim paper

Read More »