Account
Edit tools
Intern
SucheSearch
English

Attribut:Publisher

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
A Heuristic Search Algorithm for Solving First-Order MDPs +
AUAI Press  +
A Journey to the Frontiers of Query Rewritability +
ACM  +
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
CEUR Workshop Proceedings  +
A Language for Default Reasoning about Actions +
Springer-Verlag Berlin Heidelberg  +
A Lexico-Logical Approach to Ontology Engineering +
Chapman & Hall/CRC  +
A Local System for Classical Logic +
Springer  +
A Local System for Linear Logic +
Springer  +
A Logic-Based Approach to Dynamic Programming +
AAAI Press, Menlo Park, California  +
A Logical Geo-Ontology Design Pattern for Quantifying over Types +
ACM  +
A Matter of Principles: Towards the Largest DLP Possible +
CEUR-WS.org  +
A Medvedev Characterization of Recognizable Tree Series +
Springer  +
A Model and Method to Terminologize Existing Domain Ontologies +
HAL  +
A Model for Learning Description Logic Ontologies Based on Exact Learning +
AAAI Press  +
A Modified Supervaluationist Framework for Decision-Making +
Gheorghe Zane Institute for Economic and Social Research, Romanian Academy  +
A Modularization-based Approach to Finding All Justifications for OWL DL Entailments +
Springer  +
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
Springer  +
A NExpTime-complete Description Logic Strictly Contained in C^2 +
Springer  +
A Neutral Temporal Deontic STIT Logic +
Springer  +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
Springer  +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
Springer  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Publisher&oldid=6158“