MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 4. Category, Keywords

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Author/EditorYearTitleType
Show details for 03F0503F05
Show details for 03F2003F20
Show details for 0/1 polytope0/1 polytope
Show details for 2-variable fragment2-variable fragment
Show details for 68000 Assembler68000 Assembler
Show details for 68T1568T15
Show details for Abelian groupsAbelian groups
Show details for Abelian MonoidsAbelian Monoids
Show details for abstract interpretationabstract interpretation
Show details for AbstractionAbstraction
Show details for Agent-based systemsAgent-based systems
Show details for Agent logicAgent logic
Hide details for Agent systemsAgent systems
Schmidt, Renate A.
Tishkovsky, Dmitry		2003Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391		Part of a Book
Schmidt, Renate A.
Tishkovsky, Dmitry		2003Multi-Agent Logic of Dynamic Belief and KnowledgeUnpublished/Draft
Schmidt, Renate A.
Tishkovsky, Dmitry		2002Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49		Proceedings Article
Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich		2002Interaction between Knowledge, Action and Commitment within Agent Dynamic LogicUnpublished/Draft
Show details for ALCNALCN
Show details for algebraalgebra
Show details for algebraic logicalgebraic logic
Show details for Algebraic ModelingAlgebraic Modeling
Show details for Algebraic SpecificationAlgebraic Specification
Show details for Algebraic Varieties.Algebraic Varieties.
Show details for algebraische Spezifikationenalgebraische Spezifikationen
Show details for algorithmic invariant theoryalgorithmic invariant theory
Show details for ambient calculusambient calculus
Show details for ambient logicambient logic
Show details for AnalyseAnalyse
Show details for ArrayArray
Show details for Artificial IntelligenceArtificial Intelligence

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)