Search dblp for Publications

export results for "toc:db/conf/scai/scai1991.bht:"

 download as .bib file

@inproceedings{DBLP:conf/scai/AielloNS91,
  author       = {Luigia Carlucci Aiello and
                  Daniele Nardi and
                  Marco Schaerf},
  editor       = {Brian H. Mayoh},
  title        = {Reasoning about Knowledge: The Meta-Level Approach},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {4--18},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/AielloNS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Asker91,
  author       = {Lars Asker},
  editor       = {Brian H. Mayoh},
  title        = {Using Partial Explanations: An Approach to Solving the Incomplete
                  Theory Problem in {EBL}},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {187--192},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Asker91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/BansalP91,
  author       = {Arvind K. Bansal and
                  Dilip S. Poduval},
  editor       = {Brian H. Mayoh},
  title        = {Static Analysis to Identify Vectorizable Numerical Domain in Logic
                  Programs for Efficient Execution of Scientific Expert Systems},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {193--204},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/BansalP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/BenjaminsAJ91,
  author       = {V. Richard Benjamins and
                  Ameen Abu{-}Hanna and
                  Wouter N. H. Jansweijer},
  editor       = {Brian H. Mayoh},
  title        = {Models in Model Based Diagnosis: Classification and Construction},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {54--61},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/BenjaminsAJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/BulsariS91,
  author       = {Abhay B. Bulsari and
                  Henrik Sax{\'{e}}n},
  editor       = {Brian H. Mayoh},
  title        = {A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert
                  System},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {71--76},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/BulsariS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/BulsariSS91,
  author       = {Abhay B. Bulsari and
                  Bj{\"{o}}rn Sax{\'{e}}n and
                  Henrik Sax{\'{e}}n},
  editor       = {Brian H. Mayoh},
  title        = {Application of the Symmetric Logarithmoid as a Activation Function
                  for Neurons in a Feed-Forward Neural Network},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {62--70},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/BulsariSS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Dindorp91,
  author       = {Ulla Dindorp},
  editor       = {Brian H. Mayoh},
  title        = {Literature Analysis for Knowledge Acquisition},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {77--83},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Dindorp91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Egmont-Petersen91,
  author       = {Michael Egmont{-}Petersen},
  editor       = {Brian H. Mayoh},
  title        = {Mental Models as Cognitive Entities},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {205--210},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Egmont-Petersen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Eklund91,
  author       = {Peter W. Eklund},
  editor       = {Brian H. Mayoh},
  title        = {Negotiating Inheritance Taxonomies in Conceptual Structures},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {211--221},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Eklund91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Filipic91,
  author       = {Bogdan Filipic},
  editor       = {Brian H. Mayoh},
  title        = {Reducing Search Complexity by Start Node Selection},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {222--228},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Filipic91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Gabbay91,
  author       = {Dov M. Gabbay},
  editor       = {Brian H. Mayoh},
  title        = {Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured
                  Non-Monotonic Theories},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {19--39},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Gabbay91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Giunchiglia91,
  author       = {Enrico Giunchiglia},
  editor       = {Brian H. Mayoh},
  title        = {A Set of Hierarchically Structured Decision Procedures for Some Subclasses
                  of First Order Logic},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {84--89},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Giunchiglia91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/GiunchigliaS91,
  author       = {Fausto Giunchiglia and
                  Luciano Serafini},
  editor       = {Brian H. Mayoh},
  title        = {Mulitlanguage First Order Theories of Propositional Attitudes},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {228--240},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/GiunchigliaS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Herrestad91,
  author       = {Henning Herrestad},
  editor       = {Brian H. Mayoh},
  title        = {{AI} and Law: Will the Marriage Last?},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {90--98},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Herrestad91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Hoek91,
  author       = {Wiebe van der Hoek},
  editor       = {Brian H. Mayoh},
  title        = {Qualitative Modalities},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {322--327},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Hoek91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Hynynen91,
  author       = {Juha Hynynen},
  editor       = {Brian H. Mayoh},
  title        = {{DUKPIE:} The {BREAD} 'n' {BUTTER} for Finite Capacity Activity Scheduling},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {99--106},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Hynynen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Hyvonen91,
  author       = {Eero Hyv{\"{o}}nen},
  editor       = {Brian H. Mayoh},
  title        = {Global Consistency in Interval Constraint Satisfaction},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {241--251},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Hyvonen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Jackson91,
  author       = {Peter Jackson},
  editor       = {Brian H. Mayoh},
  title        = {Computing Minimal Refutations},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {107--118},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Jackson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/JanssonBI91,
  author       = {Carl Gustaf Jansson and
                  Henrik Bostr{\"{o}}m and
                  Peter Idestam{-}Almquist},
  editor       = {Brian H. Mayoh},
  title        = {Optimizing Horn Clause Logic Programs for Particular Modes of Use:
                  An Analysis of Explanation-Based Learning and Partial Evaluation},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {252--257},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/JanssonBI91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Jensen91,
  author       = {Finn Verner Jensen},
  editor       = {Brian H. Mayoh},
  title        = {Calculation in {HUGIN} of Probabilities for Specific Configurations:
                  {A} Trick with Many Applications},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {176--186},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Jensen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Karpf91,
  author       = {J{\o}rgen Karpf},
  editor       = {Brian H. Mayoh},
  title        = {Categorical Modelling in Law},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {131--137},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Karpf91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/LavracDPK91,
  author       = {Nada Lavrac and
                  Saso Dzeroski and
                  Vladimir Pirnat and
                  Viljem Krizman},
  editor       = {Brian H. Mayoh},
  title        = {Learning Rules for Early Diagnosis of Rheumatic Diseases},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {138--149},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/LavracDPK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/LegendreMS91,
  author       = {Geraldine Legendre and
                  Yoshiro Miyata and
                  Paul Smolensky},
  editor       = {Brian H. Mayoh},
  title        = {Distributed Recursive Structure Processing},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {47--53},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/LegendreMS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Malec91,
  author       = {Jacek Malec},
  editor       = {Brian H. Mayoh},
  title        = {How to Pass an Intersetcion, or Automata Theory Is Still Useful},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {258--265},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Malec91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Nourani91,
  author       = {Cyrus F. Nourani},
  editor       = {Brian H. Mayoh},
  title        = {Planning and Plausible Reasoning in Artificial Intelligence: Diagrams,
                  Planning, and Reasoning},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {150--157},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Nourani91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/OhkawaMBT91,
  author       = {Takenao Ohkawa and
                  Toshiaki Mori and
                  Noboru Babaguchi and
                  Yoshikazu Tezuka},
  editor       = {Brian H. Mayoh},
  title        = {Class Directed Generalization},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {266--276},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/OhkawaMBT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/ParameswaranP91,
  author       = {Jaidev and
                  N. Parameswaran},
  editor       = {Brian H. Mayoh},
  title        = {Coding Plan Logic in a Dependency Net: The {PLANET} System},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {119--130},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/ParameswaranP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/PereiraAA91,
  author       = {Lu{\'{\i}}s Moniz Pereira and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Joaquim Nunes Apar{\'{\i}}cio},
  editor       = {Brian H. Mayoh},
  title        = {A Practical Introduction to Well Founded Semantics},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {277--288},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/PereiraAA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/PereiraAA91a,
  author       = {Lu{\'{\i}}s Moniz Pereira and
                  Joaquim Nunes Apar{\'{\i}}cio and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Brian H. Mayoh},
  title        = {Hypothetical Reasoning with Well Founded Semantics},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {289--300},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/PereiraAA91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/PrakashSM91,
  author       = {G. Ravi Prakash and
                  Eswaran Subrahmanian and
                  Hosaker N. Mahabala},
  editor       = {Brian H. Mayoh},
  title        = {Verification of OPS5-Based {AI} Applications},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {158--169},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/PrakashSM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Sagheb-Tehrani91,
  author       = {Mehdi Sagheb{-}Tehrani},
  editor       = {Brian H. Mayoh},
  title        = {Knowledge Elicitation: Some Implications for Research and Practice},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {301--306},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Sagheb-Tehrani91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/SebastianiS91,
  author       = {Fabrizio Sebastiani and
                  Umberto Straccia},
  editor       = {Brian H. Mayoh},
  title        = {A Computationally Tractable Terminological Logic},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {307--315},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/SebastianiS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Shoham91,
  author       = {Yoav Shoham},
  editor       = {Brian H. Mayoh},
  title        = {Theories of Agenthood},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {40--46},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Shoham91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Thanassas91,
  author       = {Dimitrios Thanassas},
  editor       = {Brian H. Mayoh},
  title        = {Nonmonotonicity as the Resolution of Contradictions},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {316--321},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Thanassas91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Trans91,
  author       = {Kim Trans},
  editor       = {Brian H. Mayoh},
  title        = {An Expert System Shell for Planning with Automatic Feedback Learning},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {170--176},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Trans91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Villadsen91,
  author       = {J{\o}rgen Villadsen},
  editor       = {Brian H. Mayoh},
  title        = {Combinatory Categorial Grammar for Intensional Fragment of Natural
                  Language},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {328--339},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Villadsen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scai/1991,
  editor       = {Brian H. Mayoh},
  title        = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  publisher    = {{IOS} Press},
  year         = {1991},
  isbn         = {90-5199-056-1},
  timestamp    = {Mon, 05 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics