Has where published J. Log. Comput.
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "J. Log. Comput."Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Report on the 1998 International Workshop on Description Logics (DL'98) +
- Optimizing Description Logic Subsumption +
- DBLP:journals/logcom/HorrocksS99 +
- Logic for Ontology Engineering Corner +
- The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies +
- The product of converse PDL and polymodal K +
- Solution to a Problem of Goranko and Passy +
- Editorial: Special Issue on Description Logics +
- Expressive Number Restrictions in Description Logics +
- ATL Satisfiability is Indeed EXPTIME-complete +
- A Description Logic with Concrete Domains and a Role-forming Predicate Operator +
- A Logic for Concepts and Similarity +
- On Non-local Propositional and Weak Monodic Quantified CTL +
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case +
- On the Products of Linear Modal Logics +
- On the Independent Axiomatizability of Modal and Intermediate Logics +
- Mental States Recognition from Communication +
- A Foundation for Metareasoning Part I: The Proof Theory +
- A Foundation for Metareasoning Part II: The Model Theory +
- Model Checking Multiagent Systems +
- Representing and Reasoning on XML Documents: A Description Logic Approach +
