Varol Akman, Mehmet Surav  Home/Search
Context Related
| bilkent.edu.tr/~akman/jourp...aimag.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bilkent.edu.tr/~akman/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: situations are the constructs which are more amenable to mathematical manipulation. An abstract situation is defined as a (possibly non-well-founded [11]) set of infons. Given a real situation s, the set fff j s j= ffg is the corresponding abstract situation. One of the important ideas behind Situation Theory is a scheme of individuation, a way of carving the world into uniformities. Being constructs that link the scheme of individuation to the technical framework of the theory, types are... (Update)
Cited by: More
In Context: Integrating Domain- and Situation-specific.. - Gurevych, Porzel, Malaka (2006) (Correct)
Strategies for Focusing Structure-Based Theorem Proving - Amir, McIlraith (2001) (Correct)
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (Correct)
Similar documents (at the sentence level):
22.5%: Contexts and Situations - Surav, Akman (1994) (Correct)
5.3%: Modeling Context With Situations - Mehmet Surav (1995) (Correct)
Active bibliography (related documents): More All
1.2: Contexts, Oracles, and Relevance - Surav, Akman (1995) (Correct)
0.6: Context as a Spurious Concept - Hirst (2000) (Correct)
0.5: Situated Modeling of Epistemic Puzzles - Ersan, Akman (1995) (Correct)
Similar documents based on text: More All
0.4: The Use Of Situation Theory In Context Modeling - Akman, Surav (1997) (Correct)
0.4: Specificity, Automatic Designation, and `I' Varol.. -.. (Correct)
0.3: Sets in Context and Related Issues - Akman, Surav (1994) (Correct)
Related documents from co-citation: More All
11: Notes on formalizing context - McCarthy - 1993
9: Formalizing Context (context) - McCarthy, Buvac - 1994
8: Generality in artificial intelligence - McCarthy - 1987
BibTeX entry: (Update)
V. Akman and M. Surav. Steps toward formalizing context. AI Magazine, 17(3):55-- 72, 1996. http://citeseer.ist.psu.edu/akman96steps.html More
@article{ akman96steps,
author = "Varol Akman and Mehmet Surav",
title = "Steps Toward Formalizing Context",
journal = "AI Magazine",
volume = "17",
number = "3",
pages = "55-72",
year = "1996",
url = "citeseer.ist.psu.edu/akman96steps.html" }
Citations (may not include all citations):519 and the structure of discourse (context) - Grosz, Sidner et al. - 1986
286 Interpretation as abduction - Hobbs, Stickel et al. - 1993
278 Natural Language Understanding (context) - Allen - 1995
274 Situations and Attitudes (context) - Barwise, Perry - 1983
176 Notes on formalizing context - McCarthy - 1993
140 CYC: A large-scale investment in knowledge infrastructure - Lenat - 1995
113 or: How we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
96 Logic and Information (context) - Devlin - 1991
93 Principles of categorization (context) - Rosch - 1978
88 From Discourse to Logic: Introduction to ModelTheoretic Sema.. (context) - Kamp, Reyle - 1993
82 CYC: A midterm report (context) - Guha, Lenat - 1990
82 Relevance: Communication and Cognition (context) - Sperber, Wilson - 1986
49 Generality in artificial intelligence - McCarthy - 1987
45 Propositional logic of context - Buvac, Mason - 1993
42 Varieties of context (context) - Shoham - 1991
37 The Liar: An Essay on Truth and Circularity (context) - Barwise, Etchemendy - 1987
32 Representing discourse in context - van Eijck, Kamp - 1996
28 Context and Structure in Automated Full-Text Information Acc.. - Hearst - 1994
22 A multi-context monotonic axiomatization of inessential nonm.. - Giunchiglia, Weyhrauch - 1988
22 Quantificational logic of context - Buvac - 1996
18 The rights and wrongs of natural regularity (context) - Barwise, Seligman - 1992
16 Multi-context systems as a specification framework for compl.. - Giunchiglia, Traverso et al. - 1992
16 Fundamenta Informaticae (context) - Buvac, Buvac et al. - 1995
15 Multilanguage first order theories of propositional attitude.. - Giunchiglia, Serafini - 1991
15 Proofs in context - Attardi, Simi - 1994
15 Psychological relevance and information science (context) - Harter - 1992
14 Resolving lexical ambiguity using a formal theory of context - Buvac - 1996
13 logic and formalizing common sense (context) - McCarthy - 1989
12 Representing multiple theories - Nayak - 1994
11 and nonmonotonic equality (context) - Charniak, abductive - 1988
11 Some expert systems need common sense (context) - McCarthy - 1984
11 Reflections about reflection (context) - Attardi, Simi - 1991
11 MYCIN: Computer-Based Medical Consultations (context) - Shortliffe - 1976
11 Conditionals and conditional information (context) - Barwise - 1986
9 Technical Note STAN-CS-TN (context) - McCarthy, Buvac et al. - 1994
9 Rethinking context: An introduction (context) - Goodwin, Duranti - 1992
8 Contextual reasoning is NP-complete - Massacci - 1996
6 Semantics: The Study of Meaning (context) - Leech - 1981
6 Draft Lecture Notes (context) - Seligman, regularity - 1993
6 What is in a context (context) - Akman, Tin - 1990
6 and mediation: Representing and reasoning about semantic con.. (context) - Goh, Madnick et al. - 1995
5 Linguistic Semantics: An Introduction (context) - Lyons - 1995
5 Relevance reconsidered---towards an agenda for the 21st cent.. (context) - Froehlich - 1994
4 Toward a theory of user-based relevance: A call for a new pa.. (context) - Park - 1994
4 Computing with causal theories (context) - Tin, Akman - 1992
4 Propositional objects (context) - Quine - 1969
3 Situations and small worlds (context) - Barwise - 1987
3 Context for comprehension (context) - Clark, Carlson - 1981
3 Direct Reference: From Language to Thought (context) - Recanati - 1993
3 Inference and computer understanding of natural language (context) - Schank, Rieger - 1974
3 Microelectronics and Computer Technology Corporation (context) - Guha, of et al. - 1993
2 Context interchange: A lattice based approach (context) - Reddy, Gupta - 1995
2 an and M. Surav. Contexts, oracles, and relevance (context) - Akm - 1995
2 the circumstantial relation between meaning and content (context) - Barwise - 1987
2 A logical AI approach to context - McCarthy - 1995
2 Harper and Row Publishers (context) - Angeles, Philosophy - 1981
1 Also technical report ACT-CYC (context) - Guha, Formalization et al. - 1991
1 Special Issue on I Linguaggi e le Macchine; Short version (context) - Giunchiglia, Epistemologia et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bilkent.edu.tr/~akman/papers.html): More
Situated Nonmonotonic Temporal Reasoning with BABY-SIT - Tin, Akman (Correct)
The Use Of Situation Theory In Context Modeling - Akman, Surav (1997) (Correct)
Situated Processing of Pronominal Anaphora - Tin, Akman (1998) (Correct)
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