Остановите войну!
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 279 matches
- 1995
- Hilde Adé, Marc Denecker:
AILP: Abductive Inductive Logic Programming. IJCAI 1995: 1201-1209 - Michael Anderson, Robert McCartney:
Inter-diagrammatic Reasoning. IJCAI (1) 1995: 878-884 - David Andre:
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. IJCAI (1) 1995: 741-750 - Elisabeth André, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Andreas Butz, Anthony Jameson:
WIP: From Multimedia to Intellimedia. IJCAI 1995: 2053-2054 - Nicholas Asher, Laure Vieu:
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. IJCAI (1) 1995: 846-852 - Saliha Azzam:
Anaphors, PPs and Disambiguation Process for Conceptual Analysis. IJCAI 1995: 1354-1359 - Franz Baader, Armin Laux:
Terminological Logics with Modal Operators. IJCAI (1) 1995: 808-815 - Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940 - Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin:
Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355 - Christer Bäckström, Peter Jonsson:
Planning with Abstraction Hierarchies can be Exponentially Less Efficient. IJCAI 1995: 1599-1605 - Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth A. De Jong, Harry Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. IJCAI (1) 1995: 719-724 - Shumeet Baluja, Dean Pomerleau:
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. IJCAI 1995: 133-141 - Philippe Baptiste, Claude Le Pape:
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. IJCAI (1) 1995: 600-606 - Chitta Baral:
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. IJCAI 1995: 2017-2026 - Michel Barbeau, Froduald Kabanza, Richard St-Denis:
Synthesizing Plant Controllers Using Real-time Goals. IJCAI (1) 1995: 791-800 - Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341 - Roberto J. Bayardo Jr., Daniel P. Miranker:
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. IJCAI 1995: 558-562 - Salem Benferhat, Didier Dubois, Henri Prade:
How to Infer from Inconsisent Beliefs without Revising? IJCAI 1995: 1449-1457 - Scott W. Bennett, Gerald DeJong:
GRASPER: A Permissive Planning Robot. IJCAI 1995: 2065-2066 - Christian Bessière, Eugene C. Freuder, Jean-Charles Régin:
Using Inference to Reduce Arc Consistency Computation. IJCAI (1) 1995: 592-599 - Subir Bhattacharya:
Experimenting with Revisits in Game Tree Search. IJCAI 1995: 243-251 - Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. IJCAI (1) 1995: 624-630 - Anselm Blocher, Jörg R. J. Schirra:
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. IJCAI 1995: 417-423 - Avrim Blum, Merrick L. Furst:
Fast Planning Through Planning Graph Analysis. IJCAI 1995: 1636-1642 - Alexander Bochman:
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. IJCAI 1995: 1518-1524 - Henrik Boström:
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. IJCAI 1995: 1194-1200 - Claudia Böttcher:
No Faults in Structure? How to Diagnose Hidden Interactions. IJCAI 1995: 1728-1735 - Craig Boutilier:
Generalized Update: Belief Change in Dynamic Settings. IJCAI 1995: 1550-1556 - Craig Boutilier, Richard Dearden, Moisés Goldszmidt:
Exploiting Structure in Policy Construction. IJCAI 1995: 1104-1113 - Craig Boutilier, Martin L. Puterman:
Process-Oriented Planning and Average-Reward Optimality. IJCAI 1995: 1096-1103
skipping 249 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-25 15:34 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