Author/Editor [Non Institute] | Year | | Title | Type |
Talbot
(Ed: Parigot, Voronkov)
[Parigot, Voronkov] | 2000 | | On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435 | Proceedings Article |
Talbot
[-] | 2000 | | The $\exists \forall^2$ fragment of the First-Order Theory of Set Constraints is $\pi^0_1$-hard
In: Information Processing Letters [74], 27-33 | Journal Article |
Talbot, Devienne, Tison
[Devienne, Tison] | 2000 | | Generalized Definite Set Constraints
In: Constraints [5], 161-202 | Journal Article |
Talbot, Niehren, Müller
(Ed: Longo)
[Niehren, Müller, Longo] | 1999 | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article |
Thiebaux, Hoffmann, Nebel
(Ed: Gottlob)
[-] | 2003 | | In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966 | Proceedings Article |
Timm
[-] | 1997 | | Testing the Satisfiability of RPO Constraints
Universität des Saarlandes | Thesis - Masters thesis |
Trueg, Hoffmann, Nebel
(Ed: Biundo, Frühwirth, Palm)
[-] | 2004 | | Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 183-197 | Proceedings Article |
Tzakova
(Ed: Murray)
[Murray] | 1999 | | Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292 | Proceedings Article |
Tzakova
[-] | 1999 | | Hybrid Languages
Universität des Saarlandes | Thesis - PhD thesis |
van der Torre
(Ed: Dix, Fariñas del Cerro, Furbach)
[-] | 1998 | | Phased labeled logics of conditional goals
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 92-106 | Proceedings Article |
van der Torre
(Ed: Hunter, Parsons)
[Hunter, Parsons] | 1999 | | Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385 | Proceedings Article |
van der Torre
(Ed: Prade)
[-] | 1998 | | Labeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369 | Proceedings Article |
van der Torre, Tan
(Ed: Brewka, Habel, Nebel)
[Tan] | 1997 | | Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408 | Proceedings Article |
van der Torre, Tan
(Ed: Cavalcanti)
[Tan, Cavalcanti] | 1999 | | Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192 | Part of a Book |
van der Torre, Tan
(Ed: Dix, Fariñas del Cerro, Furbach)
[Tan] | 1998 | | Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91 | Proceedings Article |
van der Torre, Tan
(Ed: Laskey, Prade)
[Tan, Laskey, Prade] | 1999 | | An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638 | Proceedings Article |
van der Torre, Tan
(Ed: McNamara, Prakken)
[Tan, McNamara, Prakken] | 1999 | | An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90 | Part of a Book |
van der Torre, Tan
(Ed: Prade)
[Tan] | 1998 | | An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42 | Proceedings Article |
van der Torre, Tan
[Tan] | 1999 | | Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78 | Journal Article |
van der Torre, Tan
[Tan] | 1999 | | Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67 | Journal Article |
van der Torre, Tan
[Tan] | 1999 | | Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244 | Proceedings Article |
van der Torre, Tan
[Tan] | 1998 | | The temporal analysis of Chisholm's paradox
In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), 650-655 | Proceedings Article |
van der Torre, Tan
[Tan] | 1997 | | Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232 | Proceedings Article |
van der Torre, Weydert
[van der Torre] | 2001 | | Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301 | Journal Article |
Veanes
(Ed: Pratt)
[-] | 1998 | | The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275 | Proceedings Article |
Veanes
[-] | 2000 | | Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53 | Journal Article |
Veit
[-] | 1999 | | Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes | Thesis - Masters thesis |
Viganò
[-] | 1997 | | A Framework for Non-Classical Logics
Universität des Saarlandes | Thesis - PhD thesis |
Vorobyov
(Ed: Brim, Gruska, Zlatuska)
[-] | 1998 | | $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606 | Proceedings Article |
Vorobyov
(Ed: Comon)
[Comon] | 1997 | | The first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268 | Proceedings Article |