Suche mittels Attribut

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

• Left-forbidding cooperating distributed grammar systems  + (Left-forbidding cooperating distributed grammar systems.pdf)
• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (Leftmost Derivations of Propagating Scattered Context Grammars A New Proof.pdf)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Lehmann:05:01.pdf)
• Truth—A Platform for Verification of Distributed Systems  + (LeuckerTobies-AIB-98-5.ps.gz)
• The Projection Problem for EL Actions  + (LiLuMi-DL-08.pdf)
• Foundations of instance level updates in expressive description logics  + (LiLuMiWo-AIJ11.pdf)
• Description Logic Actions with general TBoxes: a Pragmatic Approach  + (LiLuMiWo-DL-06.pdf)
• Reasoning about Actions using Description Logics with general TBoxes  + (LiLuMiWo-JELIA-06.pdf)
• Updating Description Logic ABoxes  + (LiLuMiWo-KR-06.pdf)
• Updating Description Logic ABoxes  + (LiLuMiWo-LTCS-05-10.ps.gz)
• Description Logic Actions with general TBoxes: a Pragmatic Approach  + (LiLuMiWo-LTCS-06-03.pdf)
• Leveraging Non-Lexical Knowledge for the Linked Open Data Web  + (Linked open numbers.pdf)
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (Live-3949-7254-jair.pdf)
• Seminar: Logical Modelling  + (Lm-asp-SS19.pdf)
• Seminar: Logical Modelling  + (Lm-intro-SS19.pdf)

• Propositional Dynamic Logic with Recursive Programs  + (LoeLuSe.pdf)

• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (Logic of actions and expectations (31).pdf)
• Foundations of Knowledge Representation  + (LogicsforKR problems.pdf)
• A Scalable Analysis Framework for Large-scale RDF Data  + (LongChengThesis.pdf)
• Experience Based Nonmonotonic Reasoning  + (Lpnmr2013-paper.pdf)
• Just: a Tool for Computing Justifications w.r.t. EL Ontologies  + (Lu-ORE-2014.pdf)
• Keys, Nominals, and Concrete Domains  + (LuAcHoSa-IJCAI.ps.gz)
• Keys, Nominals, and Concrete Domains  + (LuArHoSaJAIR04.ps.gz)
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes  + (LuKo-DL-2013.pdf)
• Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference  + (LuKo-KR-2014.pdf)
• Brave and Cautious Reasoning in EL  + (LuPe-DL14.pdf)
• Error-Tolerant Reasoning in the Description Logic EL  + (LuPe-JELIA14.pdf)
• Error-Tolerant Reasoning in the Description Logic EL  + (LuPe-LTCS-14-11.pdf)
• The Complexity of Finite Model Reasoning in Description Logics  + (LuSaTe-CADE03.ps.gz)
• The Complexity of Finite Model Reasoning in Description Logics  + (LuSaTe-IandC05.ps.gz)
• Tableaux for Temporal Description Logic with Constant Domain  + (LuStuWoZa-IJCAR.ps.gz)
• A Tableau Calculus for Temporal Description Logic: The Constant Domain Case  + (LuStuWoZa-LTCS-01-01.ps.gz)
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains  + (LuStuWoZa-StudiaLogica.pdf)
• Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs  + (LuWa-DL-14.pdf)
• PDL with Negation of Atomic Programs  + (LuWa-LTCS-03-04.ps.gz)
• Conservative Extensions in Expressive Description Logics  + (LuWaWo-IJCAI07.pdf)
• Quantitative Temporal Logics: PSpace and below  + (LuWaWo-IandC06.ps.gz)
• Reasoning about concepts and similarity  + (LuWoZa-DL2003.ps.gz)
• A tableau algorithm for reasoning about concepts and similarity  + (LuWoZa-Tableaux2003.ps.gz)
• Temporal Description Logics: A Survey  + (LuWoZa-Time08.pdf)
• Keys, Nominals, and Concrete Domains  + (LutAreHorSat-LTCS-02-04.ps.gz)