Sciweavers

3513 search results - page 117 / 703
» Super Logic Programs
Sort
View
81
Voted
PODS
1990
ACM
148views Database» more  PODS 1990»
15 years 2 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo
85
Voted
DALT
2006
Springer
15 years 1 months ago
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
Vivek Nigam, João Leite
69
Voted
ISMB
1994
14 years 11 months ago
Inductive Logic Programming Used to Discover Topological Constraints in Protein Structures
Thispaperdescribesthe applicationof the Inductive Logic Programming0LP) program GOLEMto the discoveryof constraintsin the packingof beta-sheets in alpha/betaproteins. Theseconstra...
Ross D. King, Dominic A. Clark, Jack Shirazi, Mich...
72
Voted
APIN
2010
107views more  APIN 2010»
14 years 10 months ago
Extracting reduced logic programs from artificial neural networks
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
Jens Lehmann, Sebastian Bader, Pascal Hitzler
CORR
2002
Springer
131views Education» more  CORR 2002»
14 years 10 months ago
Logic Programming with Ordered Disjunction
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
Gerhard Brewka