1781 search results - page 171 / 357 » Functional Answer Set Programming |
103
click to vote
COMMA
2006
15 years 3 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
123
click to vote
ML
2006
ACM
15 years 1 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
128
click to vote
AAAI
2010
15 years 3 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
132
click to vote
CI
2004
15 years 1 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...