Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik

Secrecy preserving BDI agents based on Answerset Programming. 

by Patrick Krümpelmann, Gabriele Kern-Isberner.

Proceedings of the 11th German Conference on Multi-Agent System

Technologies (MATES’13),

volume to appear of Lecture Notes in Computer Science. Springer, 2013

Stratified Belief Bases Revision with Argumentative


by Marcelo Alejandro Falappa, Alejandro Javier Garcia,

Gabriele Kern-Isberner, Guillermo Ricardo Simari.

In: Journal of Philosophical Logic, Volume 42, pages 161-193, 2013

Intensional Combination of Rankings for OCF-Networks. 

by Gabriele Kern-Isberner, Christian Eichhorn.

Proceedings of the Twenty-Sixth International Florida Artificial

Intelligence Research Society

Conference (FLAIRS-26), 2013

Reasoning on secrecy constraints under uncertainty to classify

possible actions. 

by Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and

Cornelia Tadros.

In: C. Beierle and C. Meghini, editors, 8th Proceedings of the 8th International

Symposium on Foundations of Information and Knowledge Systems

(FoIKS2014), volume to appear of LNCS. Springer, 2014

Credibility-based Selective Revision by Deductive Argumentation in

Multi-agent Systems. 

by Luciano H. Tamargo, Matthias Thimm, Patrick Krümpelmann,

Alejandro J. Garcia, Marcelo Falappa, Guillermo R. Simari,

Gabriele Kern-Isberner.

In: Eduardo L. Ferme, Dov M. Gabbay, Guillermo R. Simari (Eds.),

Trends in Belief Revision and Argumentation Dynamics, College Publications,


Construction of Explanation Graphs from Extended Dependency Graphs

for Answer Set Programs. 

by Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.

In: 27th Workshop on Logic Programming, 2013.

Probabilistic Knowledge Representation Using Gröbner Basis Theory. 

by Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle.

In: Proceedings of the International Symposium on Artificial Intelligence and

Mathematics (ISAIM 2014), 2014.

LEG networks for ranking functions. 

by Christian Eichhorn, Gabriele Kern-Isberner.

In: Eduardo Fermé and Joāo Leite (Hrsg.), Lecture Notes
in Computer Science (8761): Logics in Artificial Intelligence, p.
210-223, Springer International Publishing, 2014

Qualitative and Semi-Quantitive Inductive Reasoning with Conditionals. 

by Christian Eichhorn, Gabriele Kern-Isberner.

In: Using inductive reasoning for completing OCF-networks.
KI - Künstliche Intelligenz,
DOI 10.1007/s13218-015-0376-x, Springer Berlin Heidelberg, 2015

Belief Base Change Operations for Answer Set Programming. 

by Patrick Krümpelmann, Gabriele Kern-Isberner.

Proceedings of the of the 13th European Conference on Logics in Artificial Intelligence

(JELIA'12), 2012

Belief Base Change Operations for Answer Set Programming. 

by Patrick Krümpelmann, Gabriele Kern-Isberner.

In: In Proceedings of the 14th International Workshop on Non-Monotonic

Reasoning (NMR'12).

A structural base for conditional reasoning.

by Gabriele Kern-Isberner, Christian Eichhorn.

In: Human Reasoning and Automated Deduction (HRAD) – KI2012

Workshop Proceedings, 2012

A Ranking Semantics for First-Order Conditionals.

by Gabriele Kern-Isberner, Matthias Thimm.

InProceedings 20th European Conference on Artificial Intelligence

(ECAI-2012), (Frontiers in Artificial Intelligence and Applications, Number 242),

pages 456-461. IOS Press, 2012.

A declarative approach for computing ordinal conditional functions using

constraint logic programming.

by Christoph Beierle, Gabriele Kern-Isberner, Karl Södler.

In: 19th International Conference on Applications of Declarative Programming

and Knowledge Management (INAP 2011) and 25th Workshop on Logic

Programming (WLP 2011), Wien, Austria, Revised Selected Papers, (Lecture

Notes in Artificial Intelligence, Volume 3392), pages 294-308. Springer, 2012 

Aspects of Universitarian Distance Teaching and Online Learning.

by Christoph Beierle, Gabriele Kern-Isberner.

In: Künstliche Intelligenz, Volumen 26, Number 3, pages 305-306.

Springer, 2012. 

Comparing and Evaluating Approaches to Probabilistic Reasoning:

Theory, Implementation, and Applications.

by Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer,

Matthias Thimm.

In: Transactions on Large-Scale Data- and Knowledge-Centered Systems VI,

Special Issue on DEXA'2011, (Lecture Notes in Computer Science,

Volume 7600), pages 31-75. Springer, 2012. 

Conditional Objects Revisited: Variants and Model Translations.

by Christoph Beierle, Gabriele Kern-Isberner, Karl Södler.

In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence

Research Society Conference (FLAIRS-26)Marco Island, Florida.

May 23-25, 2012, pages 561-564. AAAI Press, Menlo Park,

California, 2012

Semantical Investigations into Nonmonotonic and Probabilistic Logics.

by Christoph Beierle, Gabriele Kern-Isberner.

In: Annals of Mathematics and Artificial Intelligence, Volumen 65, Number 2,

pages 123-158. Springer, 2012. 

Prioritized and Non-prioritized Multiple Change on Belief Bases.

by Marcelo Alejandro Falappa, Gabriele Kern-Isberner, Mauricio Reis,

Guillermo Ricardo Simari.

In: Journal of Philosophical Logic, Volume 41, Number 1, pages 77-113. 2012. 

Learning and Understanding.

by Gabriele Kern-Isberner.

In: Encyclopedia of the Sciences of Learning, pages 1805-1807. Springer,

January 2012. 

<< Start < Zurück 1 2 3 4 5 6 7 8 9 Weiter > Ende >>
Seite 1 von 9
Joomla SEF URLs by Artio