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
- Formalizing Possibly Infinite Trees of Finite Degree + (Talk at Workshop: Leaning In!)
- What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation? + (Tutorial at SSA)
- Practical Uses of Existential Rules in Knowledge Representation + (Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020))
- Practical Uses of Existential Rules in Knowledge Representation + (Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020))
- Semantic Technologies (Swap and Transfer Workshops) + (University of Minho, Braga, Portugal)
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers + (Vienna Austria - Pragmatics of SAT 2014)
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (Vienna Austria - Pragmatics of SAT 2014)
- Second-Order Characterizations of Definientia in Formula Classes + (Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014))
- Application Patterns of Projection/Forgetting + (Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014))
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know + (Vortrag)
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data + (Vortrag)
- Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj + (Vortrag)
- Exploring Implications and General Concept Inclusions with High Confidence + (Vortrag)
- Extracting Confident General Concept Inclusions from Finite Interpretations + (Vortrag)
- General Concept Inclusions with High Confidence in Finite Interpretations + (Vortrag)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (Vortrag)
- Extended Resolution in Modern SAT Solving + (Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen)
- Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany)
