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
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- A Note on Relative Observability in Coordination Control +
- A purely logical account of sequentiality in proof search – extended abstract +
- ASPARTIX-D Ready for the Competition +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- An A-Maze-ing SAT Solving Visualization +
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms +
- Answer Set Programming and Clasp (INFOCOM-6) +
- BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) +
- Characterizing Realizability in Abstract Argumentation +
- Characterizing logic programming semantics with level mappings +
- Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions +
- Cheap Boolean Role Constructors for Description Logics +
- Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms +
- Completing the Picture: Complexity of Graded Modal Logics with Converse +
- ELP: Tractable Rules for OWL 2 +
- EQuIKa: Epistemic Querying in OWL 2 Ontologies +
- ETALIS: Rule-Based Reasoning in Event Processing +
- Existential Notation3 Logic +
- Fast Dual Simulation Processing of Graph Database Queries +
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers +
- High Throughput Indexing for Large-scale Semantic Web Data +
- ILP Operators for Propositional Connectionist Networks +
- Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques +
- Interactive ontology revision +
- Künstliche Intelligenz, quo vadis? +
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web +
- Linear Logic and Noncommutativity in the Calculus of Structures +
- Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis +
- On Composing Finite Forests with Modal Logics +
- Reasoning-Supported Interactive Revision of Knowledge Bases +
- SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6) +
- Small is again Beautiful in Description Logics +
- The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains +
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge +
