Combinations of modal logics

Artificial Intelligence Review

Volumn 17, Issue 1, 2002, Pages 1-20

  Bennett, Brandon ^a   Dixon, Clare ^a   Fisher, Michael ^a   Hustadt, Ullrich ^a   Franconi, Enrico ^a   Horrocks, Ian ^a   De Rijke, Maarten ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Knowledge representation; Logical reasoning; Modal logics

Indexed keywords

COMBINATORIAL MATHEMATICS; MATHEMATICAL MODELS; MODAL ANALYSIS; OPERATIONS RESEARCH;

LOGICAL REASONING; MODAL LOGICS;

KNOWLEDGE REPRESENTATION;

EID: 0036500398     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1015057926707     Document Type: Article

References (81)

1. Spatial reasoning for image retrieval
2. Prefixed resolution: A resolution method for modal and description logics
3. Description and/or hybrid logics
4. A temporal description logic for reasoning about actions and plans
5. Representing a robotic domain using temporal description logics
6. Temporal entity-relationship modeling with description logics
7. A survey of temporal extensions of description logics
8. Temporal description logics
9. Modal theorem proving: An equational viewpoint
10. A theory of resolution
11. Tambis: Transparent access to multiple bioinformatics information sources: An overview
12. Fibring semantic tableaux
13. Modal logics for qualitative spatial reasoning
14. A resolution method for CTL branching-time temporal logic
15. On the decidability of query containment under constraints
16. Description logic framework for information integration
17. Tableaux and algorithms for propositional dynamic logic with converse
18. Clausal resolution for logics of time and knowledge with synchrony and perfect recall
19. Resolution for temporal logics of knowledge
20. Search strategies for resolution in temporal logics
21. Temporal resolution using a breadth-first search algorithm
22. Removing irrelevant information in temporal resolution proofs
23. Quantified modal logic and unification theory
24. Resolution decision procedures
25. Adding a temporal dimension to a logic system
26. Clausal temporal resolution
27. A resolution method for temporal logic
28. A normal form for temporal logic and its application in theorem-proving and execution
29. Implementing BDI-like systems by direct execution
30. Programming resource-bounded deliberative agents
31. A resolution-based decision procedure for extensions of K4
32. The two-variable guarded fragment with transitive relations
33. The complexity of reasoning about knowledge and time: Extended abstract
34. Reasoning about knowledge and time in asynchronous systems
35. The complexity of reasoning about knowledge and time: Synchronous systems
36. The complexity of reasoning about knowledge and time. I lower bounds
37. Complete axiomatizations for reasoning about knowledge and time
38. A propositional modal logic of time intervals
39. Complexity transfer for modal logic
40. The FaCT system
41. Using an expressive description logic: Fact or fiction?
42. FaCt and iFaCt
43. A description logic with transitive and inverse roles and role hierarchies
44. Normal forms and proofs in combined modal and temporal logics
45. Issues of decidability for description logics in the framework of resolution
46. Using resolution for testing modal satisfiability and building models
47. Maslov's class K revisited
48. On the relation of resolution and tableaux proof systems for description logics
49. Hybrid logics and linguistic inference
50. Highway to the danger zone
51. Simulation and transfer results in modal logic
52. Formalising motivational attitudes of agents: On preference, goals and commitments
53. Gentzen-type systems and resolution rules, part I: Propositional logic
54. A formal theory of knowledge and action
55. Semantics-based translation methods for modal logics
56. Encoding two-valued non-classical logics in classical logic
57. Functional translation and second-order frame properties of modal logics
58. DLP system description
59. Modeling agents within a BDI-architecture
60. Decision procedures for propositional linear-time belief-desire-intention logics
61. The Grail concept modelling language for medical terminology
62. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus
63. A concept language extended with different kinds of transitive roles
64. A correspondence theory for terminological logics
65. Decidability by resolution for propositional modal logics
66. Combining terminological logics with tense logic
67. Modal correspondence theory
68. An integrated modal approach to rational agents
69. Modal description logic: Modalizing roless
70. Temporalizing description logics
71. Temporal description logics: A point-based approach
72. A tableau-based proof method for temporal logics of knowledge and belief
73. Intelligent agents: Theory and practice