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/aisc/aismc1996.bht:"
download as .bib file
@inproceedings{DBLP:conf/aisc/AndrianariveloBT96,
author = {Nirina Andrianarivelo and
Wadoud Bousdira and
Jean{-}Marc Talbot},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {On Theorem-Proving in Horn Theories with Built-in Algebras},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {320--338},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_66},
doi = {10.1007/3-540-61732-9\_66},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AndrianariveloBT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BauerCZ96,
author = {Andrej Bauer and
Edmund M. Clarke and
Xudong Zhao},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Analytica - An Experiment in Combining Theorem Proving and Symbolic
Computation},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {21--37},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_48},
doi = {10.1007/3-540-61732-9\_48},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/BauerCZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BenhamouG96,
author = {Fr{\'{e}}d{\'{e}}ric Benhamou and
Laurent Granvilliers},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Combining Local Consistency, Symbolic Rewriting and Interval Methods},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {144--159},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_55},
doi = {10.1007/3-540-61732-9\_55},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BenhamouG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Bouhineau96,
author = {Denis Bouhineau},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Solving Geometrical Constraint Systems Using {CLP} Based on Linear
Constraint Solver},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {274--288},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_63},
doi = {10.1007/3-540-61732-9\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Bouhineau96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Bundgen96,
author = {Reinhard B{\"{u}}ndgen},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Proof Transformation for Non-Compatible Rewriting},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {160--175},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_56},
doi = {10.1007/3-540-61732-9\_56},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Bundgen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ButlerGST96,
author = {Gregory Butler and
Peter Grogono and
Rajjan Shinghal and
Indra A. Tjandra},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Document Recognition, Semantics, and Symbolic Reasoning in Reverse
Engineering of Software},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {38--48},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_49},
doi = {10.1007/3-540-61732-9\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ButlerGST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Cohn96,
author = {Anthony G. Cohn},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Calculi for Qualitative Spatial Reasoning},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {124--143},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_54},
doi = {10.1007/3-540-61732-9\_54},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Cohn96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Dargam96,
author = {F{\'{a}}tima C. C. Dargam},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Compromised Updates in Labelled Databases},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {49--70},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_50},
doi = {10.1007/3-540-61732-9\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Dargam96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DillmannF96,
author = {R{\"{u}}diger Dillmann and
Holger Friedrich},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Programming by Demonstration: {A} Machine Learning Approach to Support
Skill Acquisiton for Robots},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {87--108},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_52},
doi = {10.1007/3-540-61732-9\_52},
timestamp = {Wed, 13 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/DillmannF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Dupee96,
author = {Brian J. Dup{\'{e}}e},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Measuring the Likely Effectiveness of Strategies},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {191--196},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_58},
doi = {10.1007/3-540-61732-9\_58},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Dupee96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Eder96,
author = {Elmar Eder},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Backward Reasoning in Systems with Cut},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {339--353},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_67},
doi = {10.1007/3-540-61732-9\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Eder96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/GavilanesLMN96,
author = {Antonio Gavilanes and
Javier Leach and
Pedro J. Mart{\'{\i}}n and
Susana Nieva},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {365--379},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_69},
doi = {10.1007/3-540-61732-9\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/GavilanesLMN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Joswig96,
author = {Michael Joswig},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Towards Modelling the Topology of Homogeneous Manifolds by Means of
Symbolic Computation},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {258--273},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_62},
doi = {10.1007/3-540-61732-9\_62},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Joswig96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/LynchS96,
author = {Christopher Lynch and
Polina Strogova},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {{PATCH} Graphs: An Efficient Data Structure for Completion of Finitely
Presented Groups},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {176--190},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_57},
doi = {10.1007/3-540-61732-9\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/LynchS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Plaza96,
author = {Jan A. Plaza},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Soundness and Completeness versus Lifting Property},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {354--364},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_68},
doi = {10.1007/3-540-61732-9\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Plaza96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ReinhartDK96,
author = {Gunther Reinhart and
Rolf Diesch and
Michael R. Koch},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Knowledge-Based Information Processing in Manufacturing Cells - The
Present and the Future},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {109--123},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_53},
doi = {10.1007/3-540-61732-9\_53},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ReinhartDK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Roanes-LozanoLR96,
author = {Eugenio Roanes{-}Lozano and
Luis M. Laita and
Eugenio Roanes{-}Mac{\'{\i}}as},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {An Inference Engine for Propositional Two-valued Logic Based on the
Radical Membership Problem},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {71--86},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_51},
doi = {10.1007/3-540-61732-9\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Roanes-LozanoLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Rodosek96,
author = {Robert Rodosek},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {A New Approach on Solving 3-Satisfiability},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {197--212},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_59},
doi = {10.1007/3-540-61732-9\_59},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Rodosek96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Scott96,
author = {Dana S. Scott},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Symbolic Computation and Teaching},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {1--20},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_47},
doi = {10.1007/3-540-61732-9\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Scott96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Sofronie96,
author = {Viorica Sofronie},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Towards a Sheaf Semantics for Cooperating Agents Scenarios},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {289--304},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_64},
doi = {10.1007/3-540-61732-9\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Sofronie96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/TelermanU96,
author = {Vitaly Telerman and
Dmitry Ushakov},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Data Types in Subdefinite Models},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {305--319},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_65},
doi = {10.1007/3-540-61732-9\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/TelermanU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ueberberg96,
author = {Johannes Ueberberg},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Interactive Theorem Proving and Finite Projective Planes},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {240--257},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_61},
doi = {10.1007/3-540-61732-9\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ueberberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Wang96,
author = {Dongming Wang},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Geometry Machines: From {AI} to {SMC}},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {213--239},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_60},
doi = {10.1007/3-540-61732-9\_60},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Wang96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/1996,
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9},
doi = {10.1007/3-540-61732-9},
isbn = {3-540-61732-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/1996.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-07-08 13:12 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:
