Multi-user Input in Determining Answer Sets (MIDAS).
Albert KalimJane Huffman HayesSatrio HusodoErin CombsJared PaynePublished in: RE (2018)
Keyphrases
- multi user
- answer sets
- logic programs
- answer set programming
- logic programming
- virtual environment
- multi granularity
- augmented reality
- virtual world
- user interface
- extended logic programs
- answer set semantics
- answer set programs
- normal logic programs
- single user
- logic program updates
- multiple access
- counter examples
- fixpoint
- multiple users
- incomplete information
- virtual reality
- stable models
- loop formulas
- object oriented
- semantics of logic programs
- knowledge representation