Theoretical Computer Science
A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
A logical operational semantics of full Prolog: part 1. Selection core and control
CSL '89 Proceedings of the third workshop on Computer science logic
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Logic and information flow
Arrow logic and multi-modal logic
Arrow logic and multi-modal logic
Action Logic and Pure Induction
JELIA '90 Proceedings of the European Workshop on Logics in AI
A Proof System for Finite Trees
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Embodied construction grammar as layered modal languages
ScaNaLU '06 Proceedings of the Third Workshop on Scalable Natural Language Understanding
On constructing fibred tableaux for BDI logics
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
A fibred tableau calculus for modal logics of agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
An outline of a dynamic theory of frames
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Hi-index | 0.00 |
This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.