Account
Edit tools
Intern
SucheSearch
English

Attribut:Reviewed

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

Dient zur Durchsicht des Publikationstyps Techreport. Hat Datentyp Zeichenkette.

Sollte folgende Werte Franz Baader, Christel Baier, Markus Krötzsch, Sebastian Rudolph, Michael Thielscher enthalten.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
1
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
0  +
A
A Calculus of Order and Interaction +
0  +
A Calculus of Order and Interaction +
0  +
A Compact Encoding of Pseudo-Boolean Constraints into SAT +
0  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
0  +
A Computational Logic Approach to the Suppression Task +
0  +
A Database Approach for Modeling and Querying Video Data +
0  +
A Description Logic for Vague Knowledge +
0  +
A Description Logic with Transitive and Converse Roles and Role Hierarchies +
0  +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
0  +
A Finitary System for First Order Logic +
0  +
A Formal Definition for Expressive Power of Knowledge Representation Languages +
0  +
A General Form of Attribute Exploration +
0  +
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
0  +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
0  +
A More Efficient Parallel Unit Propagation +
0  +
A Multi-Dimensional Terminological Knowledge Representation Language +
0  +
A Multi-Dimensional Terminological Knowledge Representation Language +
0  +
A NEXPTIME-complete Description Logic Strictly Contained in C^2 +
0  +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
0  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Reviewed&oldid=6145“