hex-Programs with Existential Quantification.
Thomas EiterMichael FinkThomas KrennwallnerChristoph RedlPublished in: KDPD (2013)
Keyphrases
- answer sets
- logic programs
- logic programming
- java programs
- fixpoint
- query answering
- computer programs
- ontology based data access
- real time
- control structures
- board game
- game tree search
- intermediate level
- game playing
- data management
- optimal solution
- high level
- website
- information systems
- artificial intelligence
- genetic algorithm