Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 43 matches
- 1985
- Tim O'Shea:
Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland 1985, ISBN 0-444-87611-1 [contents] - 1984
- Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia:
From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148 - Gabriella Airenti, Bruno G. Bara, Marco Colombetti:
Plan Formation and Failure Recovery in Communicative Acts. ECAI 1984: 275-284 - Shimji Araya, Koji Fukumori:
ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. ECAI 1984: 23-32 - Giuseppe Attardi, Maria Simi:
Metalanguage and Reasoning Across Viewpoints. ECAI 1984: 413-422 - Meyer A. Billmers, Mark W. Swartwout:
AI-SPEAR: Computer System Failure Analysis Tool. 61-69l. ECAI 1984: 61-69 - Jean-Louis Binot:
A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. ECAI 1984: 305-314 - John H. Boose:
Personal Construct Theory and the Transfer of Human Expertise. ECAI 1984: 51-60 - Prasanta K. Bose:
Learning Stiffness Control for Compliant Motion. ECAI 1984: 115-126 - Michael Brady, Philip E. Agre:
The Mechanic's Mate. ECAI 1984: 79-94 - Pavel Brazdil:
Use of Derivation Trees in Discrimination. ECAI 1984: 239-244 - Bernard F. Buxton, Hilary Buxton, David William Murray, N. S. Williams:
3D Solutions to the Aperture Problem. ECAI 1984: 105-114 - John F. Canny:
On Detecting Collisions Between Polyhedra. ECAI 1984: 95-104 - Stefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi:
RADAR: Reasoning on ADA Rubbish. ECAI 1984: 199-208 - Luis Fariñas del Cerro, Ewa Orlowska:
DAL: A Logic for Data Analysis. ECAI 1984: 337-346 - Barbara Dunin-Keplicz:
Default Reasoning in Anaphora Resolution. ECAI 1984: 315-324 - Marc Eisenstadt:
A Powerful Prolog Trace Package. ECAI 1984: 149-158 - Patrick Ferrand:
SESAM: An Explanatory Medical Aid System. ECAI 1984: 33-40 - Michael P. Georgeff, Chris S. Wallace:
A General Selection Criterion for Inductive Inference. ECAI 1984: 219-228 - Göran Hagert:
Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. ECAI 1984: 179-188 - Tony Hasemer:
MacSolo/AURAC: A Programming Environment for Novices. ECAI 1984: 189-198 - Simon Hayward:
Diagnostic Expertise and its Use in Commercially Viable Expert Systems. ECAI 1984: 71-75 - Paul S. Jacobs, Lisa F. Rau:
Ace: Associating Language with Meaning. ECAI 1984: 295-304 - Gary S. Kahn:
On When Diagnostic Systems Want to Do without Causal Knowledge. ECAI 1984: 41-50 - Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci:
Careful Generalization for Concept Learning. ECAI 1984: 229-238 - Michael Lebowitz:
Using Memory in Text Understanding. ECAI 1984: 159-168 - Witold Lukaszewicz:
Nonmonotonic Logic for Default Theories. ECAI 1984: 403-412 - Esa Nelimarkka, Harri Jäppinen, Aarno Lehtola:
Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. ECAI 1984: 325-334 - Richard A. O'Keefe:
A New Data-Structure for Type Trees. ECAI 1984: 393-402 - Jean-Luc Rémy, Hantao Zhang:
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI 1984: 373-382
skipping 13 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-06 16:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint