arXiv 2000-07-03 EN Constraint Exploration and Envelope of Simulation Trajectories Teran, Oswaldo · Edmonds, Bruce · Wallis, Steve
arXiv 2000-06-30 EN Security Policy Consistency Ribeiro, Carlos · Zuquete, Andre · Ferreira, Paulo · Guedes, Paulo
arXiv 2000-06-21 EN Verifying Termination of General Logic Programs with Concrete Queries Shen, Yi-Dong · Yuan, Li-Yan · You, Jia-Huai
arXiv 2000-05-11 EN Reasoning with Individuals for the Description Logic SHIQ Horrock, Ian · Sattler, Ulrike · Tobies, Stephan
arXiv 2000-05-10 EN Practical Reasoning for Expressive Description Logics Horrocks, Ian · Sattler, Ulrike · Tobies, Stephan
arXiv 2000-05-09 EN Practical Reasoning for Very Expressive Description Logics Horrocks, Ian · Sattler, Ulrike · Tobies, Stephan
arXiv 2000-04-05 EN Programming in Alma-0, or Imperative and Declarative Programming Reconciled Apt, Krzysztof R. · Schaerf, Andrea
arXiv 2000-03-22 EN Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000 Baral, Chitta · Truszczynski, Miroslaw
arXiv 2000-03-22 EN Axiomatic Synthesis of Computer Programs and Computability Theorems Volkstorf, Charlie
arXiv 2000-03-20 EN Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog Pelov, Nikolay · Bruynooghe, Maurice
arXiv 2000-03-17 EN A Polyvariant Binding-Time Analysis for Off-line Partial Deduction Bruynooghe, Maurice · Leuschel, Michael · Sagonas, Konstantinos
arXiv 2000-03-17 EN Detecting Unsolvable Queries for Definite Logic Programs Bruynooghe, Maurice · Vandecasteele, Henk · de Waal, D. Andre · Denecker, Marc
arXiv 2000-03-14 EN Reasoning with Higher-Order Abstract Syntax in a Logical Framework McDowell, Raymond C. · Miller, Dale A.
