1995
|
Faltings, Boi Topology-Based Spatial Reasoning Conference KI-95, Gesellschaft fr Informatik 1995. BibTeX @conference{Faltings1995a,
title = {Topology-Based Spatial Reasoning},
author = {Boi Faltings},
editor = {Leonie Dreschler-Fischer, Simone Pribbenow},
year = {1995},
date = {1995-00-00},
booktitle = {KI-95},
pages = {99--100},
organization = {Gesellschaft fr Informatik},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Faltings, Boi Qualitative Spatial Reasoning Using Algebraic Topology Conference Spatial Information Theory, Lecture Notes in Computer Science 988, Springer-Verlag, 1995. Links | BibTeX @conference{Faltings1995b,
title = {Qualitative Spatial Reasoning Using Algebraic Topology},
author = {Boi Faltings},
editor = {Andrew U. Frank, Werner Kuhn},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1995b.pdf},
year = {1995},
date = {1995-00-00},
booktitle = {Spatial Information Theory, Lecture Notes in Computer Science 988},
pages = {17--30},
publisher = {Springer-Verlag},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Smith, Ian Resolving Conflicts as Knowledge Evolves Conference Product and Process Modelling in the Building Industry, Balkema, Rotterdam (The Netherlands), 1995. BibTeX @conference{Smith,
title = {Resolving Conflicts as Knowledge Evolves},
author = {Ian Smith},
year = {1995},
date = {1995-00-00},
booktitle = {Product and Process Modelling in the Building Industry},
pages = {191--197},
publisher = {Balkema},
address = {Rotterdam (The Netherlands)},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Sam-Haroud, Djamila; Boulanger, Sylvie; Gelle, Esther; Smtih, Ian Management of conflict for preliminary engineering design tasks Journal Article Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9 , pp. 313–323, 1995. BibTeX @article{Sam-Haroud1995,
title = {Management of conflict for preliminary engineering design tasks},
author = {Djamila Sam-Haroud and Sylvie Boulanger and Esther Gelle and Ian Smtih},
year = {1995},
date = {1995-00-00},
journal = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
volume = {9},
pages = {313--323},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Smith, Ian; Kurmann, David; Schmitt, Gerhard Case combination and adaptation of buildings spaces Journal Article Computing in Civil Engineering, ASCE, pp. 155–162, 1995. BibTeX @article{Smith1995a,
title = {Case combination and adaptation of buildings spaces},
author = {Ian Smith and David Kurmann and Gerhard Schmitt},
year = {1995},
date = {1995-00-00},
journal = {Computing in Civil Engineering, ASCE},
pages = {155--162},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Boulanger, Sylvie; Gelle, Esther; Smtih, Ian Taking Advantage of design process models Conference IABSE Report 72, International Association for Bridge and Structural Engineering 1995. BibTeX @conference{Boulanger1995,
title = {Taking Advantage of design process models},
author = {Sylvie Boulanger and Esther Gelle and Ian Smtih},
year = {1995},
date = {1995-00-00},
booktitle = {IABSE Report 72},
pages = {87--96},
organization = {International Association for Bridge and Structural Engineering},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Smith, Ian Conflict managment in design Conference Special Issue of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9 , 1995. BibTeX @conference{Smith1995b,
title = {Conflict managment in design},
author = {Ian Smith},
year = {1995},
date = {1995-00-00},
booktitle = {Special Issue of Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
volume = {9},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Lundell, Monika A Qualitative Model of Gradient Flow in a Spatially Distributed Parameter Conference International Workshop on Qualitative Reasoning about Physical Systems, Amsterdam, The Netherlands, 1995. Links | BibTeX @conference{Lundell1995,
title = {A Qualitative Model of Gradient Flow in a Spatially Distributed Parameter},
author = {Monika Lundell},
url = {http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR95/Lundell_1995_Qualitative_Model_Gradient_Flow_Parameter.pdf},
year = {1995},
date = {1995-00-00},
booktitle = {International Workshop on Qualitative Reasoning about Physical Systems},
pages = {131--138},
address = {Amsterdam, The Netherlands},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Gelle, Esther; Smith, Ian Dynamic Constraint Satisfaction with Conflict Management in Design Conference CP95 Workshop on Over-Constrained Systems, Cassis, France, 1995. Links | BibTeX @conference{Gelle1995,
title = {Dynamic Constraint Satisfaction with Conflict Management in Design},
author = {Esther Gelle and Ian Smith},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Gelle1996.pdf},
year = {1995},
date = {1995-00-00},
booktitle = {CP95 Workshop on Over-Constrained Systems},
address = {Cassis, France},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Gelle, Esther; Weigel, Rainer Interactive Configuration Based on Incremental Constraint Satisfaction Conference IFIP TC5/WG 5.2 Workshop Series Knowledge-Intensive CAD, Helsinki, Finland, 1995. Links | BibTeX @conference{Gelle,
title = {Interactive Configuration Based on Incremental Constraint Satisfaction},
author = {Esther Gelle and Rainer Weigel},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Gelle.pdf},
year = {1995},
date = {1995-00-00},
booktitle = {IFIP TC5/WG 5.2 Workshop Series Knowledge-Intensive CAD},
pages = {117--126},
address = {Helsinki, Finland},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Sam-Haroud, Djamila; Faltings, Boi Constraint Consistency Techniques for Continuous Domains Technical Report Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995. BibTeX @techreport{Sam-Haroud1995a,
title = {Constraint Consistency Techniques for Continuous Domains},
author = {Djamila Sam-Haroud and Boi Faltings},
year = {1995},
date = {1995-00-00},
address = {Lausanne (Switzerland)},
institution = {Swiss Federal Institute of Technology (EPFL)},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
|
Liver, Beat Computing Glue Device Implementations in ZD Technical Report Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995. BibTeX @techreport{Liver,
title = {Computing Glue Device Implementations in ZD},
author = {Beat Liver},
year = {1995},
date = {1995-00-00},
address = {Lausanne (Switzerland)},
institution = {Swiss Federal Institute of Technology (EPFL)},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
|
Liver, Beat Formalizing Aspects of Design Patterns Technical Report Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995. BibTeX @techreport{Liver1995,
title = {Formalizing Aspects of Design Patterns},
author = {Beat Liver},
year = {1995},
date = {1995-00-00},
address = {Lausanne (Switzerland)},
institution = {Swiss Federal Institute of Technology (EPFL)},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
|
Haroud, Jamila Sam Constraint consistency techniques for continuous constraints PhD Thesis Swiss Federal Institute of Technology (EPFL), 1995. Links | BibTeX @phdthesis{Sam-Haroud-Thesis,
title = {Constraint consistency techniques for continuous constraints},
author = {Jamila Sam Haroud},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Sam-Haroud-Thesis.pdf},
year = {1995},
date = {1995-00-00},
address = {Lausanne (Switzerland)},
school = {Swiss Federal Institute of Technology (EPFL)},
keywords = {},
pubstate = {published},
tppubtype = {phdthesis}
}
|
1994
|
Faltings, Boi Arc-consistency for continuous variables Journal Article Artificial Intelligence, 65 , 1994. Links | BibTeX @article{Faltings1994,
title = {Arc-consistency for continuous variables},
author = {Boi Faltings},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1994.pdf},
year = {1994},
date = {1994-00-00},
journal = {Artificial Intelligence},
volume = {65},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Gelle, Esther; Faltings, Boi Diagnosis of Heating, Ventilation and Air Conditioning Systems Conference Proc. of SPICIS-94 , B309-314, Singapore, 1994. Links | BibTeX @conference{Gelle1994,
title = {Diagnosis of Heating, Ventilation and Air Conditioning Systems},
author = {Esther Gelle and Boi Faltings},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Gelle1994.pdf},
year = {1994},
date = {1994-00-00},
booktitle = {Proc. of SPICIS-94 , B309-314, Singapore},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Haroud, Djamila; Boulanger, Sylvie; Smith, Ian F C; Gelle, Esther Assumptions and conflict resolution in preliminary engineering design Conference Workshop on Conflict Management in design, AIEDAM'94, 1994. BibTeX @conference{Haroudetal1994,
title = {Assumptions and conflict resolution in preliminary engineering design},
author = {Djamila Haroud and Sylvie Boulanger and Ian F.C. Smith and Esther Gelle},
year = {1994},
date = {1994-00-00},
booktitle = {Workshop on Conflict Management in design, AIEDAM'94},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Haroud, Djamila; Faltings, Boi Global Consistency for Continuous Constraints Conference Proc. of PPCP'94, (874), LNCS Springer Verlag, 1994. Links | BibTeX @conference{Haroud1994,
title = {Global Consistency for Continuous Constraints},
author = {Djamila Haroud and Boi Faltings},
editor = {Alan Borning},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Haroud1994.pdf},
year = {1994},
date = {1994-00-00},
booktitle = {Proc. of PPCP'94},
number = {874},
publisher = {Springer Verlag},
series = {LNCS},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
1993
|
Faltings, Boi; Sun, Kun Computer-aided Creative Mechanism Design Conference Proceedings of the 13th International Joint Conference on Artificial Intelligence, Morgan-Kaufmann, 1993. Links | BibTeX @conference{Faltings1993a,
title = {Computer-aided Creative Mechanism Design},
author = {Boi Faltings and Kun Sun},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1993a.pdf},
year = {1993},
date = {1993-00-00},
booktitle = { Proceedings of the 13th International Joint Conference on Artificial Intelligence},
pages = {1451-1457},
publisher = {Morgan-Kaufmann},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Faltings, Boi; Pu, Peal Imagery for Open-World Spatial Problems Journal Article Computational Intelligence, 9 (4), 1993. Links | BibTeX @article{Faltings1993,
title = {Imagery for Open-World Spatial Problems},
author = {Boi Faltings and Peal Pu},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1993.pdf},
year = {1993},
date = {1993-00-00},
journal = {Computational Intelligence},
volume = {9},
number = {4},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Hua, Kefeng; Faltings, Boi Exploring Case-Based Building Design-CADRE Journal Article Artificial Intelligence in Engineering Design, Analysis and Manufacturing (AI EDAM), 1993. Links | BibTeX @article{Hua1993,
title = {Exploring Case-Based Building Design-CADRE},
author = {Kefeng Hua and Boi Faltings},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Hua1993.pdf},
year = {1993},
date = {1993-00-00},
journal = {Artificial Intelligence in Engineering Design, Analysis and Manufacturing (AI EDAM)},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
1992
|
Faltings, Boi A Symbolic Approach to Qualitative Kinematics Journal Article Artificial Intelligence, 56 (2), 1992. Links | BibTeX @article{Faltings1992a,
title = {A Symbolic Approach to Qualitative Kinematics},
author = {Boi Faltings},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1992a.pdf},
year = {1992},
date = {1992-00-00},
journal = {Artificial Intelligence},
volume = {56},
number = {2},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Primus, Jeff; Faltings, Boi Domain Modeling for Monitoring Systems Conference 10th European Conference on Artificial Intelligence, Wiley, 1992. Links | BibTeX @conference{Primus1992,
title = {Domain Modeling for Monitoring Systems},
author = {Jeff Primus and Boi Faltings},
editor = {B. Neumann},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Primus1992.pdf},
year = {1992},
date = {1992-00-00},
booktitle = {10th European Conference on Artificial Intelligence},
publisher = {Wiley},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Faltings, Boi; Haroud, Djamila; Smith, Ian F C Dynamic Constraint Satisfaction with Continuous Variables Conference 10th European Conference on Artificial Intelligence, Wiley, 1992. Links | BibTeX @conference{Faltings1992b,
title = { Dynamic Constraint Satisfaction with Continuous Variables},
author = {Boi Faltings and Djamila Haroud and Ian F.C. Smith},
editor = {B. Neumann},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1992b.pdf},
year = {1992},
date = {1992-00-00},
booktitle = {10th European Conference on Artificial Intelligence},
publisher = {Wiley},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
|
Faltings, Boi Mechanical Engineering is more than Differential Equations Journal Article Computational Intelligence, 8 (2), pp. 319-322, 1992. Links | BibTeX @article{Faltings1992c,
title = {Mechanical Engineering is more than Differential Equations},
author = {Boi Faltings},
url = {http://liawww.epfl.ch/wp-content/uploads/publications/Faltings1992c.pdf},
year = {1992},
date = {1992-00-00},
journal = {Computational Intelligence},
volume = {8},
number = {2},
pages = {319-322},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
