Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)