Login / Signup
Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results.
Fabrizio Angiulli
Gianluigi Greco
Luigi Palopoli
Published in:
Ann. Math. Artif. Intell. (2010)
Keyphrases
</>
logic programming
noisy environments
logic programs
knowledge representation
logic programming language
answer set programming
nonmonotonic reasoning
programming language
deductive databases
knowledge base
answer sets
noise reduction
speech enhancement
computational logic
constraint logic programming
probabilistic reasoning
pseudo boolean constraints
speech recognition
default logic
computational complexity
stable models
artificial intelligence
inductive logic programming
formal model
propositional variables
speech signal
general purpose
expert systems
reasoning about actions
decision problems
disjunctive logic programming