Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Logik und Logikprogrammierung + (book)
- Ausgezeichnete Informatikdissertationen 2011 + (book)
- Logics in Artificial Intelligence + (book)
- Ausgezeichnete Informatikdissertationen 2012 + (book)
- Ausgezeichnete Informatikdissertationen 2009 + (book)
- Logik und Logikprogrammierung + (book)
- Begabtenförderung im MINT-Bereich + (book)
- Ausgezeichnete Informatikdissertationen 2002 + (book)
- Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel + (book)
- Ausgezeichnete Informatikdissertationen 2004 + (book)
- Ausgezeichnete Informatikdisserationen 2001 + (book)
- Ausgezeichnete Informatikdissertationen 2006 + (book)
- Ausgezeichnete Informatikdissertationen 2008 + (book)
- Ausgezeichnete Informatikdissertationen 1999 + (book)
- Ausgezeichnete Informatikdissertationen 2011 + (book)
- Ausgezeichnete Informatikdissertationen 2007 + (book)
- Ausgezeichnete Informatikdisserationen 2000 + (book)
- Logik und Logikprogrammierung. Band 1: Grundlagen. + (book)
- Principles of Model Checking + (book)
- The Description Logic Handbook: Theory, Implementation and Applications. + (book)
- Formal Concept Analysis + (book)
- Reasoning Robots. The Art and Science of Programming Robotic Agents + (book)
- Logik und Logikprogrammierung. Third edition. + (book)
- Theoretische Informatik + (book)
- Term Rewriting and All That + (book)
- Autonomous, Model-Based Diagnosis Agents + (book)
- Syntax-Directed Semantics + (book)
- Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) + (book)
- Initial Computability Algebraic Specifications and Partial Algebras + (book)
- Vorlage:Book/en + (book)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (book)
- D1.1.1 Conceptual models for enterprise knowledge (Initial Models) + (deliverable)
- D1.1.1 Networked Ontology Model + (deliverable)
- D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) + (deliverable)
- D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) + (deliverable)
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) + (deliverable)
- D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving + (deliverable)
- D1.4.2: Knowledge leveraging and repair Demonstrator + (deliverable)
- D3.1.1 Context Languages - State of the Art + (deliverable)
- Incorporating Uncertainty into RDF and OWL. X-Media Deliverable D2.1 + (deliverable)
- Integrated view and comparison of alignment semantics + (deliverable)
- Report on realizing practical approximate and distributed reasoning for ontologies + (deliverable)
- Specification of a common framework for characterizing alignment + (deliverable)
- Semantic Wikipedia + (incollection)
- A Lexico-Logical Approach to Ontology Engineering + (incollection)
- Die Zukunft der Wikis: Semantic Web + (incollection)
- Die zwei Kulturen + (incollection)
- ETALIS: Rule-Based Reasoning in Event Processing + (incollection)
- Foundations of Description Logics + (incollection)
- A Brief Introduction to Formal Concept Analysis + (incollection)
- Semantic MediaWiki + (incollection)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (incollection)
- A Description Logic Primer + (incollection)
- Languages, Decidability, and Complexity + (incollection)
- Supervisory Control with Complete Observations + (incollection)
- Supervisory Control of Distributed Discrete-Event Systems + (incollection)
- Coordination Control of Distributed Discrete-Event Systems + (incollection)
- Coordination Control of Distributed Discrete-Event Systems + (incollection)
- Supervisory Control of Discrete-Event Systems + (incollection)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (incollection)
- What Is a Reasonable Argumentation Semantics? + (incollection)
- Computing extensions of terminological default theories + (incollection)
