• 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.

found 15 matches

• 1993
• 
  José Cuena:
  Knowledge Oriented Software Design, Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective - AIFIPP '92, Madrid, Spain, 14-15 September, 1992. IFIP Transactions A-27, North-Holland 1993, ISBN 0-444-81541-4 [contents]
• 1992
• 
  Jürgen Angele, Dieter Fensel, Dieter Landes, Susanne Neubert, Rudi Studer:
  Model-Based and Incremental Knowledge Engineering: The MIKE Approach. AIFIPP 1992: 139-168
• 
  Ernst Bahr, Andreas Holzmann, Eduard Mehofer, Günter Pollak:
  PAMELA-C++: Tight Integration of Rule-Based Features into an Object-Oriented Language. AIFIPP 1992: 223-236
• 
  Ranan B. Banerji:
  The General Problem Solver as a Paradigm for Software Design. AIFIPP 1992: 183-192
• 
  Ivan Bratko, Marko Grobelnik:
  Inductive Learning Applied to Program Construction and Verification. AIFIPP 1992: 169-182
• 
  B. Chandrasekaran, Todd R. Johnson, Jack W. Smith:
  Task-Structure Analysis for Knowledge Modeling. AIFIPP 1992: 3-21
• 
  Ulises Cortés, Enric Sesa, Mario Mango Furnari, Claudia Di Napoli, Renata Napolitano:
  Continuations as a Generic Control-Flow Mechanism. AIFIPP 1992: 237-250
• 
  José Cuena:
  Contributions to a Knowledge Oriented View of Software Design. AIFIPP 1992: 51-75
• 
  Manuel V. Hermenegildo:
  The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP 1992: 207-221
• 
  Natalia Juristo Juzgado, Juan Pazos:
  Towards a Joint Life Cycle for Software and Knowledge Engineering. AIFIPP 1992: 119-138
• 
  Pedro Meseguer:
  Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. AIFIPP 1992: 193-204
• 
  Mark A. Musen, Samson W. Tu:
  Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools. AIFIPP 1992: 23-49
• 
  John F. Sowa:
  Logic-Based Standards for the Conceptual Schema. AIFIPP 1992: 251-280
• 
  Luc Steels:
  Corporate Knowledge Management. AIFIPP 1992: 91-116
• 
  Michael C. Tanner:
  Explanation in Generic-Task Systems. AIFIPP 1992: 77-89