BibTeX cite key | Author/Editor | Year | | Title | Type |
Talbot2000c | Talbot, Jean-Marc | 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 |
TalbotDevienneTison_Constraints2000 | Talbot, Jean-Marc
Devienne, Philippe
Tison, Sophie | 2000 | | Generalized Definite Set Constraints
In: Constraints [5], 161-202 | Journal Article |
TalbotIPL2000 | Talbot, Jean-Marc | 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 |
ThiebauxEtal2003 | Thiebaux, Sylvie
Hoffmann, Jörg
Nebel, Bernhard | 2003 | | In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966 | Proceedings Article |
ThiebauxEtal2005 | Hoffmann, Jörg | 2005 | | In Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69 | Journal Article |
Timm97 | Timm, Jan-Georg | 1997 | | Testing the Satisfiability of RPO Constraints
Universität des Saarlandes | Thesis - Masters thesis |
Torre97b | van der Torre, Leendert W. N.
Tan, Yao-Hua | 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 |
Torre97c | van der Torre, Leendert W. N.
Tan, Yao-Hua | 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 |
Torre98.1 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67 | Journal Article |
torre:aaai98 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 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 |
torre:context99 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192 | Part of a Book |
torre:ecai98 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1998 | | An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42 | Proceedings Article |
torre:ecai98a | van der Torre, Leendert W. N. | 1998 | | Labeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369 | Proceedings Article |
torre:ecsqaru99 | van der Torre, Leendert W. N. | 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 |
torre:ijcai99 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244 | Proceedings Article |
torre:jelia98 | van der Torre, Leendert W. N. | 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 |
torre:jelia98a | van der Torre, Leendert W. N.
Tan, Yao-Hua | 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 |
torre:jmai99 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78 | Journal Article |
torre:uai99 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638 | Proceedings Article |
torre:update99 | van der Torre, Leendert W. N.
Tan, Yao-Hua | 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 |
TruegEtal2004 | Trueg, Sebastian
Hoffmann, Jörg
Nebel, Bernhard | 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 |
Tzakova1999 | Tzakova, Miroslava | 1999 | | Hybrid Languages
Universität des Saarlandes | Thesis - PhD thesis |
Tzakova98a | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ? | Proceedings Article |
Tzakova98b | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650 | Journal Article |
Tzakova98c | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | Journal Article |
Tzakova98d | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybrid Languages and Temporal Logic (Full Version) | Report |
Tzakova99a | Blackburn, Patrick
Tzakova, Miroslava | 1999 | | Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54 | Journal Article |
Tzakova99b | Tzakova, Miroslava | 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 |
Veanes98 | Veanes, Margus | 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 |
Veanes99 | Veanes, Margus | 2000 | | Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53 | Journal Article |