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/aisc2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/aisc/AiguierBD02,
author = {Marc Aiguier and
Diane Bahrami and
Catherine Dubois},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {On a Generalised Logicality Theorem},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {51--63},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_8},
doi = {10.1007/3-540-45470-5\_8},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AiguierBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AudemardBCKS02,
author = {Gilles Audemard and
Piergiorgio Bertoli and
Alessandro Cimatti and
Artur Kornilowicz and
Roberto Sebastiani},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms,
and Requirements},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {231--245},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_22},
doi = {10.1007/3-540-45470-5\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AudemardBCKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BaiL02,
author = {Li Bai and
Yihui Liu},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {A Novel Face Recognition Method},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {128--135},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_14},
doi = {10.1007/3-540-45470-5\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BaiL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BeesonW02,
author = {Michael Beeson and
Freek Wiedijk},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {The Meaning of Infinity in Calculus and Computer Algebra Systems},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {246--258},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_23},
doi = {10.1007/3-540-45470-5\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BeesonW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BernhauptP02,
author = {Regina Bernhaupt and
Jochen Pfalzgraf},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {On Mathematical Modeling of Networks and Implementation Aspects},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {168--180},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_17},
doi = {10.1007/3-540-45470-5\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BernhauptP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Campbell02,
author = {John A. Campbell},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Indefinite Integration as a Testbed for Developments in Multi-agent
Systems},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {102--116},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_12},
doi = {10.1007/3-540-45470-5\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Campbell02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Castaing02,
author = {Jacqueline Castaing},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Non-commutative Logic for Hand-Written Character Modeling},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {136--153},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_15},
doi = {10.1007/3-540-45470-5\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Castaing02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Chetty02,
author = {Madhu Chetty},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Towards a Hybrid Symbolic/Numeric Computational Approach in Controller
Design},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {12--25},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_5},
doi = {10.1007/3-540-45470-5\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Chetty02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Colmerauer02,
author = {Alain Colmerauer},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Expressiveness and Complexity of Full First-Order Constraints in the
Algebra of Trees},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {2--3},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_2},
doi = {10.1007/3-540-45470-5\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Colmerauer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Colton02,
author = {Simon Colton},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Making Conjectures about Maple Functions},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {259--274},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_24},
doi = {10.1007/3-540-45470-5\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Colton02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CorlessJ02,
author = {Robert M. Corless and
David J. Jeffrey},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {The Wright omega Function},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {76--89},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_10},
doi = {10.1007/3-540-45470-5\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/CorlessJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DeplagneK02,
author = {Eric Deplagne and
Claude Kirchner},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Deduction versus Computation: The Case of Induction},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {4--6},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_3},
doi = {10.1007/3-540-45470-5\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DeplagneK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Freuder02,
author = {Eugene C. Freuder},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Constraint Acquisition},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {1},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_1},
doi = {10.1007/3-540-45470-5\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Freuder02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/GolumbicS02,
author = {Martin Charles Golumbic and
Assaf Siani},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling
with Interval Constraints},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {196--207},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_19},
doi = {10.1007/3-540-45470-5\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/GolumbicS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HerreroLRMLCL02,
author = {Bego{\~{n}}a Herrero and
Luis M. Laita and
Eugenio Roanes{-}Lozano and
Victor Maojo and
Luis de Ledesma and
Jos{\'{e}} Crespo and
Laura Laita},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {A Symbolic Computation-Based Expert System for Alzheimer's Disease
Diagnosis},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {38--50},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_7},
doi = {10.1007/3-540-45470-5\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/HerreroLRMLCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Hunter02,
author = {Andrew Hunter},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Expression Inference - Genetic Symbolic Classification Integrated
with Non-linear Coefficient Optimisation},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {117--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_13},
doi = {10.1007/3-540-45470-5\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Hunter02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/KitzelmannSMW02,
author = {Emanuel Kitzelmann and
Ute Schmid and
Martin M{\"{u}}hlpfordt and
Fritz Wysotzki},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Inductive Synthesis of Functional Programs},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {26--37},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_6},
doi = {10.1007/3-540-45470-5\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/KitzelmannSMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Kutsia02,
author = {Temur Kutsia},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Unification with Sequence Variables and Flexible Arity Symbols and
Its Extension with Pattern-Terms},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {290--304},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_26},
doi = {10.1007/3-540-45470-5\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Kutsia02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Loriette-Rougegrez02,
author = {Sophie Loriette{-}Rougegrez},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {From Numerical to Symbolic Data during the Recognition of Scenarii},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {154--167},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_16},
doi = {10.1007/3-540-45470-5\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Loriette-Rougegrez02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MeierSC02,
author = {Andreas Meier and
Volker Sorge and
Simon Colton},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Employing Theory Formation to Guide Proof Planning},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {275--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_25},
doi = {10.1007/3-540-45470-5\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/MeierSC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/NossumS02,
author = {Rolf Nossum and
Luciano Serafini},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Multicontext Logic for Semigroups of Contexts},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {90--101},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_11},
doi = {10.1007/3-540-45470-5\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/NossumS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/PinkusW02,
author = {Ayal Z. Pinkus and
Serge Winitzki},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {{YACAS:} {A} Do-It-Yourself Symbolic Algebra Environment},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {332--336},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_29},
doi = {10.1007/3-540-45470-5\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/PinkusW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/PiroiB02,
author = {Florina Piroi and
Bruno Buchberger},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Focus Windows: {A} New Technique for Proof Presentation},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {337--342},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_30},
doi = {10.1007/3-540-45470-5\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/PiroiB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ranise02,
author = {Silvio Ranise},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Combining Generic and Domain Specific Reasoning by Using Contexts},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {305--318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_27},
doi = {10.1007/3-540-45470-5\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ranise02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ratschan02,
author = {Stefan Ratschan},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Continuous First-Order Constraint Satisfaction},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {181--195},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_18},
doi = {10.1007/3-540-45470-5\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Smirnova02,
author = {Elena Smirnova},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Using Symbolic Computation in an Automated Sequent Derivation System
for Multi-valued Logic},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {64--75},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_9},
doi = {10.1007/3-540-45470-5\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Smirnova02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Sturm02,
author = {Thomas Sturm},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Integration of Quantifier Elimination with Constraint Logic Programming},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {7--11},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_4},
doi = {10.1007/3-540-45470-5\_4},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Sturm02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Subramani02,
author = {K. Subramani},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {217--230},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_21},
doi = {10.1007/3-540-45470-5\_21},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Subramani02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Tounsi02,
author = {Mohamed Tounsi},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {A Genetic-Based Approach for Satisfiability Problems},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {208--216},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_20},
doi = {10.1007/3-540-45470-5\_20},
timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Tounsi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ZimmerD02,
author = {J{\"{u}}rgen Zimmer and
Louise A. Dennis},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Inductive Theorem Proving and Computer Algebra in the MathWeb Software
Bus},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {319--331},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_28},
doi = {10.1007/3-540-45470-5\_28},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ZimmerD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5},
doi = {10.1007/3-540-45470-5},
isbn = {3-540-43865-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2002.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-05-14 18:13 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:
