Synthesizing Concurrent Programs Using Answer Set Programming.
Emanuele De AngelisAlberto PettorossiMaurizio ProiettiPublished in: Fundam. Informaticae (2012)
Keyphrases
- answer set programming
- concurrent programs
- logic programs
- concurrent programming
- answer sets
- logic programming
- causal theories
- stable model semantics
- process algebra
- constraint logic programming
- web applications
- concurrent processes
- answer set programs
- qualitative spatial and temporal reasoning
- disjunctive logic programming
- asynchronous circuits
- formal specification
- update semantics
- haplotype inference
- inductive logic programming
- orders of magnitude
- knowledge representation
- database systems
- artificial intelligence
- database