A nondeterministic well-founded semantics.
Alberto TorresPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- logic programming
- logic programs
- normal logic programs
- general logic programs
- deductive databases
- fixpoint
- finite state
- defeasible logic
- initial state
- knowledge representation
- case study
- artificial intelligence
- markov decision processes
- finite automata
- fixpoint semantics
- autoepistemic logic
- finite state machines
- stable models
- data complexity
- data sets
- integrity constraints
- markov chain
- fuzzy logic
- information retrieval