Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 23
Volume 23, Number 1, May 1995
- Andrzej Ehrenfeucht, Joost Engelfriet, Paulien ten Pas, Grzegorz Rozenberg:
Grammatical Codes of Trees and Terminally Coded Grammars. 1-32 - John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. 33-65 - William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann:
Learning via Queries with Teams and Anomalies. 67-89 - Iain A. Stewart
:
Reachability in Some Classes of Acyclic Petri Nets. 91-100 - Eric de Kogel:
Relational Algebra and Equational Proofs. 101-121 - Marco Cadoli, Marco Schaerf:
Approximate Inference in Default Logic and Circumscription. 123-143
Volume 23, Number 2/3/4, June, July, August 1995
- Donald Perlis:
Papers on Context: Theory and Practice. 145-148 - Giuseppe Attardi, Maria Simi:
A Formalization of Viewpoints. 149-173 - Philippe Besnard, Torsten Schaub:
An Approach to Context-Based Default Reasoning. 175-223 - Raj Bhatnagar:
Context Hypothesization Using Probabilistic Knowledge. 225-246 - Paolo Bouquet, Fausto Giunchiglia:
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. 247-262 - Sasa Buvac, Vanja Buvac, Ian A. Mason:
Metamathematics of Contexts. 263-301 - Mary P. Harper, Randall A. Helzerman:
Managing Multiple Knowledge Sources in Constraint-Based Parsing of Spoken Language. 303-353 - Michael Miller:
Context Shifts and Clashes in Dialogues: An Active Logic Perspective. 355-370 - Madhura Nirkhe, Sarit Kraus:
Formal Real-Time Imagination. 371-394
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
