Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aimsa/aimsa1986.bht:"
download as .bib file
@proceedings{DBLP:conf/aimsa/1986,
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
publisher = {North-Holland},
year = {1987},
isbn = {0-444-70205-9},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/AdorniM86,
author = {Giovanni Adorni and
Lina Massone},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Coding Patterns},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {395--402},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 14:35:58 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/AdorniM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/AmbriolaPT86,
author = {Vincenzo Ambriola and
Giuliano Pacini and
Franco Turini},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {The Sharing of Partial Results in Nondeterministic Computations},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {93--103},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/AmbriolaPT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/AndreBHR86,
author = {Elisabeth Andr{\'{e}} and
Guido Bosch and
Gerd Herzog and
Thomas Rist},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Coping with the Intrinsic and Deictic Uses of Spatial Prepositions},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {375--382},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/AndreBHR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Arabadjisky86,
author = {Krastu St. Arabadjisky},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Data Flow Computation Model and Analysis of its Asynchrony},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {155--162},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Arabadjisky86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ArbibC86,
author = {Claudio Arbib and
Gianna Cioni},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Meta-Reasoning and Data Structuring for Improving {PROLOG} Programming
Style},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {55--61},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/ArbibC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BarbuceanuM86,
author = {Mihai Barbuceanu and
Stefan Trausan{-}Matu},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {{XRL:} An Evolutionary Multi-Paradigm Environment for {AI} Programming},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {197--205},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BarbuceanuM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BarbutiDT86,
author = {Roberto Barbuti and
C. D'Ascanio and
Franco Turini},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Cooperating Logic Theories},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {165--172},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BarbutiDT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BayerlBHL86,
author = {Stefan Bayerl and
M. Breu and
S. Heilmeier and
K. Lichtenwalder},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Implemented Simulation of a Parallel Theorem Prover},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {21--28},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BayerlBHL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BayerlEKLS86,
author = {Stefan Bayerl and
Elmar Eder and
Franz J. Kurfess and
Reinhold Letz and
Johann Schumann},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Implementation of a PROLOG-like Theorem Prover based on the Connection
Method},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {29--36},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BayerlEKLS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BoscoG86,
author = {Pier Giorgio Bosco and
Elio Giovannetti},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {A Prolog-Compiled Higher-Order Functional and Logic Language},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {105--116},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BoscoG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Bruynooghe86,
author = {Maurice Bruynooghe},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Is Logic Programming "Real" Programming?},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {81--91},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/Bruynooghe86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/DabijaD86,
author = {Vlad G. Dabija and
Tatiana Dabija},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {A Parameterized Learning Environment for Implementing Expert Systems},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {301--308},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/DabijaD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/DabrowskiM86,
author = {Miroslaw Dabrowski and
Maciej Michalewicz},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Statistical and Expert Approach to Computer Data Analysis},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {215--218},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/DabrowskiM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/DimitrovTSA86,
author = {Dimiter S. Dimitrov and
Valentin Tomov and
George I. Sharkov and
M. Angelova},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Liposome Production and Protoplast Electrofusion Expert Systems},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {219--226},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/DimitrovTSA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/DimitrovVI86,
author = {Ilia Iv. Dimitrov and
V. I. Velkov and
S. N. Icherenski},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Expert Systems for Mechanical Parts Design},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {227--234},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/DimitrovVI86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ErolF86,
author = {Nur Erol and
Christian Freksa},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Approach to Structuring and Formalizing Knowledge for a Design
Support System},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {271--279},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/ErolF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/GargovR86,
author = {George Gargov and
Slavian Radev},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Expert Logics},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {181--188},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/GargovR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Gaudel86,
author = {Marie{-}Claude Gaudel},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Logic Programming and Automatization of Software Test Strategies},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {39--45},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Gaudel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Gergescu86,
author = {Ioan Gergescu},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Inference Processor Based on Reactive Memory},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {141--148},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Gergescu86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/GiovannettiM86,
author = {Elio Giovannetti and
Corrado Moiso},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Some Aspects of the Integration between Logic Programming and Fiunctional
Programming},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {69--79},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/GiovannettiM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Hajicova86,
author = {Eva Hajicov{\'{a}}},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Focussing- {A} Meeting Point Linguistics and Artificial Intelligence},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {311--321},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Hajicova86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Khoroshevsky86,
author = {Vladimir F. Khoroshevsky},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Computer Aided Design of Expert Systems- An Instrumental Approach},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {207--213},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Khoroshevsky86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Kirov86,
author = {Vesselin I. Kirov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Conceptual Modelling Based Knowledge Representation Language},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {261--270},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Kirov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Kononenko86,
author = {Irina Kononenko},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {The Cognitive Context of Language Interaction},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {323--327},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Kononenko86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Konrad86,
author = {Werner Konrad},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {{BERGSON} - toward a Knowledge Modelling Tool},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {289--300},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Konrad86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Marburger86,
author = {Heinz Marburger},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {A Strategy for Producing Cooperative nl Reactions in a Database Interface},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {357--365},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Marburger86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MarinoSFP86,
author = {Massimo Marino and
Antonella Spiezio and
Giacomo Ferrari and
Irina Prodanof},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {{SAIL:} {A} Natural Language Interface for the Building of and the
Interacting with Knowledge Bases},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {349--356},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/MarinoSFP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MarkovDDA86,
author = {Zdravko Markov and
Danail Dochev and
Christo Dichev and
Genadi Agre},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Approach to Compiling {PROLOG} Programs},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {47--53},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/MarkovDDA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Narinyani86,
author = {Alexander S. Narin'yani},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Parallelism vs Knowledge Processing},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {133--139},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Narinyani86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/NarinyaniTD86,
author = {Alexander S. Narin'yani and
Vitaly Telerman and
V. E. Dmitriev},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Virtual Data-Flow Machine as Vehicle of Inference/Computations in
Knowledge Bases},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {149--154},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/NarinyaniTD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Nenova86,
author = {Irina Nenova},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Language-Based Environment for Developing ATN-Grammars},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {335--340},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Nenova86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Neumann86,
author = {Bernd Neumann},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Towards Computer Aided Vision System Configuration},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {385--393},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Neumann86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/NovakN86,
author = {Hans{-}Joachim Novak and
Bernd Neumann},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Text Generation Based on Visual Data: Descriptions of Traffic Scenes},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {367--374},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/NovakN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Perdrix86,
author = {Herve Perdrix},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Program Synthesis from Specification},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {13--20},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Perdrix86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/RosiersB86,
author = {Willem Rosiers and
Maurice Bruynooghe},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Empirical Study of some Constraints Satisfaction Algorithms},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {173--180},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/RosiersB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Rougemont86,
author = {Michel de Rougemont},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {On the Quantification of Knowledge},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {245--253},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Rougemont86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/SgurevDADM86,
author = {Vassil Stoyanov Sgurev and
Danail Dochev and
Genadi Agre and
Christo Dichev and
Zdravko Markov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Knowledge Acquisition and Man-Machine Interface in the Digs Expert
System},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {281--287},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/SgurevDADM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/SinapovaA86,
author = {Lydia Sinapova and
Genadi Agre},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {An Approach to Building a Linguistic Processor for Bulgarian Texts},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {341--348},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/SinapovaA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/StoitschevA86,
author = {Ljubomir Stoitschev and
Anatoly Antonov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Description of Structure and Behavior of Systems with Concurrency-
{A} Rule-Based Approach},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {125--132},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/StoitschevA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Testard-Vaillant86,
author = {Fran{\c{c}}ois{-}Xavier Testard{-}Vaillant},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Exceptions and Interpreters},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {117--124},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Testard-Vaillant86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/TomovTG86,
author = {Valentin Tomov and
Margarita Tacheva and
Alexander Grigorov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {{ESIT-} An Expert System for Analysis of Antique Historical-Geographical
Texts about Ancient Thrace},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {235--242},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/TomovTG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Trapeznikov86,
author = {S. P. Trapeznikov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {The System for the Development of Linguistic Processor},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {329--333},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Trapeznikov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Vakarelov86,
author = {Dimiter Vakarelov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Abstract Characterization of some Knowledge Representation Systems
and the Logic {NIL} of Nondeterministic Information},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {255--260},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Vakarelov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Vasilev86,
author = {Vasil Vasilev},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Application of Intensional Logic to the Conceptual Design of Expert
Problem Solvers},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {189--196},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Vasilev86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Wysotzki86,
author = {Fritz Wysotzki},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Program Synthesis by Hierarchical Planning},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {3--11},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Wysotzki86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Yalumov86,
author = {Krassimir Yalumov},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {The Nesy Prolog},
booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications -
Proceedings of the Second International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
September 16-19, 1986},
pages = {63--68},
publisher = {North-Holland},
year = {1986},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Yalumov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-20 01:25 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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
