LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning10 articles•103 pages•Published: July 28, 2014 PapersPages 1-8 | Pages 9-22 | Pages 23-34 | Pages 35-41 | Pages 42-51 | Pages 52-61 | Pages 62-74 | Pages 75-87 | Pages 88-96 | Pages 97-103 |
Keyphrasesacceleration, aggregate views, Answer Set Programming, Argumentation, arrays, Automated Planning, autonomous systems, clauses, conflict resolution, database update, Databases, decidability, defeasible logic program, Description Logics, Epistemic Reasoning, EPR, Event Calculus, execution monitoring, first-order, Fixpoint Semantics, hyper-resolution, Hypothetical Queries, incremental algorithm, interpolation, knowledge representation, monadic decomposition, Monadic predicates, ontology-based data access, ordered resolution, reasoning about action, recursion, resolution, Satisfiability Modulo Theories, SMT2, Stream Reasoning, superposition, symbolic automata, temporal databases, temporal logic, temporal query languages, theorem proving, Unmanned Aerial Vehicles, view maintenance |
|