researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Volume
Volume
23
, Issue
2/3/4
145
--
148
Donald Perlis
.
Papers on Context: Theory and Practice
149
--
173
Giuseppe Attardi
,
Maria Simi
.
A Formalization of Viewpoints
175
--
223
Philippe Besnard
,
Torsten Schaub
.
An Approach to Context-Based Default Reasoning
225
--
246
Raj Bhatnagar
.
Context Hypothesization Using Probabilistic Knowledge
247
--
262
Paolo Bouquet
,
Fausto Giunchiglia
.
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem
263
--
301
Sasa Buvac
,
Vanja Buvac
,
Ian A. Mason
.
Metamathematics of Contexts
303
--
353
Mary P. Harper
,
Randall A. Helzerman
.
Managing Multiple Knowledge Sources in Constraint-Based Parsing of Spoken Language
355
--
370
Michael Miller
.
Context Shifts and Clashes in Dialogues: An Active Logic Perspective
371
--
394
Madhura Nirkhe
,
Sarit Kraus
.
Formal Real-Time Imagination
Volume
23
, Issue
1
1
--
32
Andrzej Ehrenfeucht
,
Joost Engelfriet
,
Paulien ten Pas
,
Grzegorz Rozenberg
.
Grammatical Codes of Trees and Terminally Coded Grammars
33
--
65
John-Jules Ch. Meyer
,
Wiebe van der Hoek
.
A Default Logic Based on Epistemic States
67
--
89
William I. Gasarch
,
Efim B. Kinber
,
Mark G. Pleszkoch
,
Carl H. Smith
,
Thomas Zeugmann
.
Learning via Queries with Teams and Anomalies
91
--
100
Iain A. Stewart
.
Reachability in Some Classes of Acyclic Petri Nets
101
--
121
Eric de Kogel
.
Relational Algebra and Equational Proofs
123
--
143
Marco Cadoli
,
Marco Schaerf
.
Approximate Inference in Default Logic and Circumscription