F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29-- 70, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Istituto Per La Ricerca - Scientifica Tecnologica Povo Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Mental States Recognition from Communication - Dragoni, Giorgini, Serafini (2000) (2 citations) Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65, 29--70, 1994.
Local Tableaux for Reasoning in Distributed Description Logics - Serafini, Tamilin Self-citation (Serafini Logics) (Correct)
No context found.
F.Giunchiglia and L.Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, 65(1):29--70, 1994.
A Foundation for Metareasoning, Part I: The Proof Theory - Criscuolo, al. (1997) Self-citation (Giunchiglia Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.
Centro Per La Ricerca - Scientifica Tecnologica Povo Self-citation (Giunchiglia) (Correct)
No context found.
F. Giunchiglia and L. Sera ni. Multilanguage hierarchical logics, or: how we can do without modal logics. Arti cial Intelligence, 65(1):29-70, 1994. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.
A SAT-Based Decision Procedure for ALC - Giunchiglia, Sebastiani (1996) (30 citations) Self-citation (Logics) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc Self-citation (Giunchiglia Serafini Logics) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:1--42, 1994.
Ideal and Real Belief about - Belief Giunchiglia And Self-citation (Giunchiglia) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Local Tableaux for Reasoning in Distributed Description Logics - Serafini, Tamilin Self-citation (Serafini Logics) (Correct)
No context found.
F.Giunchiglia and L.Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, 65(1):29--70, 1994.
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (5 citations) Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia, L. Serafini, Multilanguage hierarchical logics, or: How we can do without modal logics, Artificial Intelligence 65 (1) (1994) 29--70.
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (5 citations) Self-citation (Ni) (Correct)
No context found.
F. Giunchiglia and L. Sera ni. Multilanguage hierarchical logics, or: how we can do without modal logics. Arti cial Intelligence, 65(1):29{ 70, 1994.
Context Based Semantics for Federated Databases - Serafini, Ghidini (1997) (1 citation) Self-citation (Ni) (Correct)
No context found.
F. Giunchiglia and L. Sera ni. Multilanguage hierarchical logics (or: how we can do without modal logics). Arti cial Intelligence, 65:29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Mental States Recognition from - Communication Aldo Franco Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65, 29--70, 1994.
A Foundation for Metareasoning Part I: The Proof Theory - Criscuolo, Giunchiglia.. (2002) Self-citation (Giunchiglia Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65, 29--70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Distributed Reasoning Services for Multiple Ontologies - Serafini, Tamilin (2004) Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, 65(1):29--70, 1994.
A SAT-based algorithm for context matching - Bouquet, Magnini, Serafini.. (2003) (9 citations) Self-citation (Serafini) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29--70, 1994. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.
Minimality, Non-Determinism, and Absent Information in.. - Roelofsen (2005) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29-- 70, 1994.
Centro Per La Ricerca Scientifica E Tecnologica - Povo Trento Italy (Correct)
No context found.
F. Giunchiglia and L. Sera ni. Multilanguage hierarchical logics, or: how we can do without modal logics. Arti cial Intelligence, 65(1):29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy. 42
A Sat Based Algorithm For Context Matching - Bouquet, al. (2003) (9 citations) (Correct)
No context found.
F. Giunchiglia and L. Sera ni. Multilanguage hierarchical logics, or: how we can do without modal logics. Arti cial Intelligence, 65(1):29-70, 1994. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.
Bounded Model Property for Multi-Context Sytems - Roelofsen (2004) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29--70, 1994.
Toward a Revision for Multi-Context Systems - Aldo Franco Dragoni (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
Logical Omniscience and Resourse-Bounded Agents - Whitsey (2004) (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, (64):29---70, 1994.
Toward a Revision for Multi-Context Systems - Dragoni, Giorgini (Correct)
No context found.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29--70, 1994.
Meta-reasoning: a Survey - Costantini (2002) (Correct)
No context found.
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65 (1994) 29--70
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC