Matthias Broxvall (broxvall)

Contributions to Philosophie.ch

Bibliography

Broxvall, Matthias. 2002a. “Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 509–520. San Francisco, California: Morgan Kaufmann Publishers.
Broxvall, Matthias. 2002b. “A Method for Metric Temporal Reasoning.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns. Menlo Park, California: The AAAI Press.
Broxvall, Matthias, Jonsson, Peter and Renz, Jochen. 2002. “Disjunctions, Independence, Refinements.” Artificial Intelligence 140(1–2): 153–173.