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
- A Calculus of Order and Interaction + (WV-01-01)
- MELL in the Calculus of Structures + (WV-01-03)
- Properties of a Logical System in the Calculus of Structures + (WV-01-06)
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks + (WV-01-07)
- A1-Unification + (WV-01-08)
- Combining A1- and AC1-Unification Sharing Unit + (WV-01-09)
- Convergence Classes and Spaces of Partial Functions + (WV-02-02)
- Two Restrictions on Contraction + (WV-02-04)
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults + (WV-02-05)
- A System of Interaction and Structure + (WV-02-10)
- Atomic Cut Elimination for Classical Logic + (WV-02-11)
- Contexts, Concepts, and Logic of Domains + (WV-02-12)
- Circular Belief in Logic Programming Semantics + (WV-02-13)
- A uniform approach to logic programming semantics + (WV-02-14)
- Consistency Without Cut Elimination + (WV-02-16 (updated April 2003))
- A robot control system integrating reactive control, reasoning, and execution monitoring + (WV-03-02)
- A Visual-Sensor Model for Mobile Robot Localisation + (WV-03-03)
- Locality for Classical Logic + (WV-03-04)
- The Undecidability of System NEL + (WV-03-05)
- Intelligent execution monitoring in dynamic environments + (WV-03-06)
- A semi-supervised method for learning the structure of robot-environment interaction + (WV-03-07)
- A Systematic Proof Theory for Several Modal Logics + (WV-03-08)
- A Finitary System for First Order Logic + (WV-03-09)
- On Structuring Proof Search for First Order Linear Logic + (WV-03-10)
- Reducing Nondeterminism in the Calculus of Structures + (WV-06-01)
- The Fuzzy Linguistic Description Logic ALC_FL + (WV-06-02)
- Neural-Symbolic Integration – Constructive Approaches + (WV-06-03)
- Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems + (WV-08-01)
- Logics and Networks for Human Reasoning + (WV-09-01)
- Logic Programs under Three-Valued Lukasiewicz Semantics + (WV-09-02)
- Situations, Actions, and Causality in the Fluent Calculus + (WV-1997-01)
- A framework for connection calculi + (WV-1997-09)
- Anschlus̈bericht über das Verbundvorhaben FABEL + (WV-1997-10)
- The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus + (WV-1999-02)
- Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract) + (WV-1999-03)
- A Calculus of Order and Interaction + (WV-1999-04)
- Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams + (WV-1999-05)
- Rule Extraction from Trained ANN: A Survey + (WV-2000-03)
- Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze + (WV-96-07)
- Constraint Equational Logic Programming and Resource-Based Partial Order Planning + (WV-96-08)
- Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz + (WV-96-09)
- An Adequate Connectionist System for Reflexive Reasoning + (WV-98-12)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation System + (abs/1108.4942)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (arXiv:2311.07233)
- Winning Snake: Design Choices in Multi-Shot ASP + (arXiv:2408.08150)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + ({RR}-90-01)
- A Formal Definition for Expressive Power of Knowledge Representation Languages + ({RR}-90-05)
- Concept Logic + ({RR}-90-10)
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles + ({RR}-90-13)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + ({RR}-90-16)
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations + ({RR}-91-01)
