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 102 matches
- 1993
- John A. Allen, Renuka Shankar:
Checking the Correctness of Mission Plans. ICTAI 1993: 462-463 - Alessandro Armando, Paolo Pecchiari:
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. ICTAI 1993: 446-447 - Jakob Axelsson, Stefan Menth, Klaus Semmler:
Genetic Algorithms in Industrial Design. ICTAI 1993: 64-67 - Rüdiger W. Brause:
Will Symbolic AI Be Replaced by Neural Networks? (Panel). ICTAI 1993: 1 - Rüdiger W. Brause:
Transform Coding by Lateral Inhibited Neural Nets. ICTAI 1993: 14-21 - J. T. Buchanan, Q. Y. Luo, P. G. Hendry:
Experiments in Distributed Constraint Satisfaction. ICTAI 1993: 454-455 - Eleri Cardozo, Jaime Simão Sichman, Yves Demazeau:
Using the Active Object Model to Implement Multi-Agent Systems. ICTAI 1993: 70-77 - Gail A. Carpenter, Stephen Grossberg:
Integrating Symbolic Processing and Neural Networks. ICTAI 1993: 2 - Claudette Cayrol, Michel Cayrol, Olivier Palmade:
New Techniques for Inference in Assumption-Based Truth Maintenance Systems. ICTAI 1993: 404-407 - Roberto Cervoni, Amedeo Cesta, Angelo Oddi:
Maintaining Consistency in a Quantitative Time Manager. ICTAI 1993: 474-475 - Seungho Cha, Dan I. Moldovan:
A Marker-Passing Algorithm for Reference Resolution. ICTAI 1993: 250-257 - Hsin-Hsi Chen:
A Language Model for Parsing Very Long Chinese Sentences. ICTAI 1993: 290-297 - Dipankar Dasgupta, Douglas R. McGregor:
Short Term Unit-Commitment Using Genetic Algorithms. ICTAI 1993: 240-247 - R. Dellacasa, Pietro Morasso, S. Repetto, Gianni Viardo Vercelli, Renato Zaccaria:
Self-Organizing Navigation: From Neural Maps to Navigation Situations. ICTAI 1993: 458-459 - Anne-Marie Dery, Wided Lejouad, Coco Djossou:
How to Distribute an Existing Modular Expert System Shell. ICTAI 1993: 497-498 - Simon Dixon, Wayne Wobcke:
The Implementation of a First-Order Logic AGM Belief Revision System. ICTAI 1993: 40-47 - Agnès Dormont, Jean-Pierre Gruselle:
A Constructivist Approach to Tense and Aspect: From Text to Polytyped Strings. ICTAI 1993: 484-485 - Denys Duchier:
Concrete Browsing of a Graphical Toolkit Library. ICTAI 1993: 491-492 - Jean Pierre Fournier:
Non-Violent Programming. ICTAI 1993: 493-494 - Eugene C. Freuder:
Tools for Constraint Satisfaction. ICTAI 1993: 7 - Eugene C. Freuder:
Tools for Constraint Satisfaction (Panel). ICTAI 1993: 6 - Masa-Aki Fukase, Tadao Nakamura:
Parallel Processing and Hardware Support of Symbols. ICTAI 1993: 450-451 - Stefano Gallucci, Jack Tan, Kuo-Wei Hwang:
PARTES: A Partitioning Scheme for Parallel Matching. ICTAI 1993: 374-380 - Jérôme Gensel, Pierre Girard, Olivier Schmeltzer:
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System. ICTAI 1993: 127-130 - Sheng Guan:
Generalizing Evidence Theory to Lattices to Manage Uncertainty. ICTAI 1993: 180-183 - Ken-Ichi Hagiwara:
Elastic Version Space: A Knowledge Acquisition Method with Background Knowledge Adjustment. ICTAI 1993: 206-209 - Xiaolong Hao, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng:
A Tool for Classifying Office Documents. ICTAI 1993: 427-434 - Ioannis Hatzilygeroudis:
Knowledge Representation and Reasoning in a System Integration Logic in Objects. ICTAI 1993: 160-167 - Pascal Van Hentenryck:
Constraint Programming Languages. ICTAI 1993: 10 - Chul-Eui Hong, Il-Yong Chung, Hee-Il Ahn:
The Analysis of Cost Error in Parallel Simulated Annealing. ICTAI 1993: 348-355
skipping 72 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-09-26 03:39 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