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

• Design and results of the second international competition on computational models of argumentation  + (0004-3702)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (0004-3702)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (0004-3702)

• A note on controllability of deterministic context-free systems  + (0005-1098)
• Supervisory control synthesis of discrete-event systems using a coordination scheme  + (0005-1098)
• Complexity of Infimal Observable Superlanguages  + (0018-9286)
• Complexity of Verifying Nonblockingness in Modular Supervisory Control  + (0018-9286)
• Descriptional complexity of semi-conditional grammars  + (0020-0190)
• Descriptional complexity of multi-parallel grammars  + (0020-0190)
• Concept lattices with negative information: A characterization theorem  + (0020-0255)
• Distributed computation of supremal conditionally-controllable sublanguages  + (0020-7179)
• On restricted context-free grammars  + (0022-0000)
• Simple restriction in context-free rewriting  + (0022-0000)
• Satisfiability of ECTL* with Constraints  + (0022-0000)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (0038-9145)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (0129-0541)
• On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components  + (0129-0541)
• On conditional decomposability  + (0167-6911)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (0167-6911)
• Neural Machine Translating from Natural Language to SPARQL  + (0167-739X)
• Computing Intensional Answers to Questions - An Inductive Logic Programming Approach  + (0169-023X)
• Blackhole Pushdown Automata  + (0169-2968)
• Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals  + (0169-2968)
• Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case  + (0169-2968)
• On Descriptional Complexity of Partially Parallel Grammars  + (0169-2968)
• Languages, Decidability, and Complexity  + (0170-8643)
• Supervisory Control with Complete Observations  + (0170-8643)
• Supervisory Control of Distributed Discrete-Event Systems  + (0170-8643)
• Coordination Control of Distributed Discrete-Event Systems  + (0170-8643)
• Coordination Control of Distributed Discrete-Event Systems  + (0170-8643)
• Supervisory Control of Discrete-Event Systems  + (0170-8643)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (0302-9743)
• Concrete Results on Abstract Rules  + (0302-9743)
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web  + (0302-9743)
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (0302-9743)
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (0302-9743)
• Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web  + (0302-9743)
• Reasoning in Semantic Wikis  + (0302-9743)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (0302-9743)
• Supporting Lexical Ontology Learning by Relational Exploration  + (0302-9743)
• Concurrent Classification of EL Ontologies  + (0302-9743)
• Introducing Wikidata to the Linked Data Web  + (0302-9743)
• Tempus Fugit - Towards an Ontology Update Language  + (0302-9743)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (0302-9743)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (0302-9743)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (0302-9743)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (0302-9743)
• What Is a Reasonable Argumentation Semantics?  + (0302-9743)
• Efficient Large Outer Joins over MapReduce  + (0302-9743)
• Semantic Characterizations of AGM Revision for Tarskian Logics  + (0302-9743)