Jochen Pfalzgraf

Publications

1996

[Pfalzgraf]

A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios

J. Pfalzgraf, V. Sofronie, K. Stokkermans

Technical report no. 96-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996. Published in Planning Workshop at the Conference on Formal and Applied Reasoning, FAPR, Bonn, June 1996..

[bib]

@techreport{RISC1545,
author = {J. Pfalzgraf and V. Sofronie and K. Stokkermans},
title = {{A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios}},
number = {96-18},
year = {1996},
note = {Published in Planning Workshop at the Conference on Formal and Applied Reasoning, FAPR, Bonn, June 1996.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

On a Semantics for Cooperative Agent Scenarios

Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans

Technical report no. 96-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996. Published in $13^{th}$ European Meeting on Cybernetics and Systems Research (EMCSR), Vienna, Austria, April 1996. To appear..

[bib]

@techreport{RISC1553,
author = {Jochen Pfalzgraf and Viorica Sofronie and Karel Stokkermans},
title = {{On a Semantics for Cooperative Agent Scenarios}},
number = {96-06},
year = {1996},
note = {Published in $13^{th}$ European Meeting on Cybernetics and Systems Research (EMCSR), Vienna, Austria, April 1996. To appear.},
sponsor = {Esprit BRA 6471 "MEDLAR II"},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios

Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans

Technical report no. 96-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1996. Published in Special Issue of the Journal of the Interest Group in Pure and Applied Logics, D. Gabbay ed., vol. 4, pp. 1-28, 1996..

[bib]

@techreport{RISC1556,
author = {Jochen Pfalzgraf and Ute Cornelia Sigmund and Karel Stokkermans},
title = {{Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios}},
number = {96-07},
year = {1996},
note = {Published in Special Issue of the Journal of the Interest Group in Pure and Applied Logics, D. Gabbay ed., vol. 4, pp. 1-28, 1996.},
sponsor = {Esprit BRA 6471 "MEDLAR II"},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1995

[Pfalzgraf]

Graph Products of Groups and Group Spaces

Jochen Pfalzgraf

Technical report no. 95-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995. Published in Journal of Geometry. To appear..

[bib]

@techreport{RISC1581,
author = {Jochen Pfalzgraf},
title = {{Graph Products of Groups and Group Spaces}},
number = {95-26},
year = {1995},
note = {Published in Journal of Geometry. To appear.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Towards a Cooperating Robots Demonstrator

J. Pfalzgraf, U.C. Sigmund, V. Sofronie, K. Stokkermans

Technical report no. 95-49 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1995.

[bib]

@techreport{RISC1593,
author = {J. Pfalzgraf and U.C. Sigmund and V. Sofronie and K. Stokkermans},
title = {{Towards a Cooperating Robots Demonstrator}},
number = {95-49},
year = {1995},
sponsor = { Austrian Science Foundation, ESPRIT BRA 6471 "MEDLAR II"},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1994

[Pfalzgraf]

On a General Notion of a Hull

Jochen Pfalzgraf

Technical report no. 94-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1994. Published in Automated Practical Reasoning: Algebraic Approaches, J. Pfalzgraf, D. Wang (eds.), Texts and Monographs in Symbolic Computation, Springer, 1994. To appear..

[bib]

@techreport{RISC1614,
author = {Jochen Pfalzgraf},
title = {{On a General Notion of a Hull}},
number = {94-14},
year = {1994},
note = {Published in Automated Practical Reasoning: Algebraic Approaches, J. Pfalzgraf, D. Wang (eds.), Texts and Monographs in Symbolic Computation, Springer, 1994. To appear.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Projects 3125, project MEDLAR I, and 6471, project MEDLAR II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Gra\ss mann-Variet\"aten

Jochen Pfalzgraf

Technical report no. 94-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1994. Published in IN: A Zaddach: Gra\ss manns Algebra in der Geometrie. B.I.-Wissenschaftsverlag, Mannheim, Wien, Z\"urich, 1994, pp. 349-363..

[bib]

@techreport{RISC1626,
author = {Jochen Pfalzgraf},
title = {{Gra\ss mann-Variet\"aten}},
number = {94-26},
year = {1994},
note = {Published in IN: A Zaddach: Gra\ss manns Algebra in der Geometrie. B.I.-Wissenschaftsverlag, Mannheim, Wien, Z\"urich, 1994, pp. 349--363.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

MEDLAR II Deliverable DIII.2.2P: Towards a General Semantics for Relational Structures

Jochen Pfalzgraf

Technical report no. 94-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1994.

[bib]

@techreport{RISC1636,
author = {Jochen Pfalzgraf},
title = {{MEDLAR II Deliverable DIII.2.2P: Towards a General Semantics for Relational Structures}},
number = {94-40},
year = {1994},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471, Medlar II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Modeling Cooperative Agents Scenarios by Deductive Planning Methods and Logical Fiberings

Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans

Technical report no. 94-55 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1994. Published in Proceedings AISMC-2, Cambridge, UK, August 1994, Springer LNCS. To appear..

[bib]

@techreport{RISC1651,
author = {Jochen Pfalzgraf and Ute Cornelia Sigmund and Karel Stokkermans},
title = {{Modeling Cooperative Agents Scenarios by Deductive Planning Methods and Logical Fiberings}},
number = {94-55},
year = {1994},
note = {Published in Proceedings AISMC-2, Cambridge, UK, August 1994, Springer LNCS. To appear.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471, project MEDLAR II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1993

[Pfalzgraf]

On Mathematical Modeling in Robotics

Jochen Pfalzgraf

Technical report no. 93-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1993. Published in Proceedings Conference on AI and Symbolic Mathematical Computation, Karlsruhe, Germany, August 1992. To appear..

[bib]

@techreport{RISC1695,
author = {Jochen Pfalzgraf},
title = {{On Mathematical Modeling in Robotics}},
number = {93-32},
year = {1993},
note = {Published in Proceedings Conference on AI and Symbolic Mathematical Computation, Karlsruhe, Germany, August 1992. To appear.},
sponsor = { Austrian Ministery for Science and Research in the frame of Esprit Basic Research Actions 3125 project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

A Category of Geometric Spaces - Some Computational Aspects -

Jochen Pfalzgraf

Technical report no. 93-33 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1993. Published in Submitted for publication..

[bib]

@techreport{RISC1696,
author = {Jochen Pfalzgraf},
title = {{A Category of Geometric Spaces -- Some Computational Aspects --}},
number = {93-33},
year = {1993},
note = {Published in Submitted for publication.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471 project MEDLAR II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

MEDLAR II: First Year Deliverable Tasks I.3: Comparison of Two Approaches to Modeling Robotics Scenarios

Jochen Pfalzgraf, Ute Sigmund, Karel Stokkermans

Technical report no. 93-56 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1993. Published in RISC/TH Darmstadt Deliverable for the MEDLAR II 12-months-review-workshop, Leeds, UK, July 1993..

[bib]

@techreport{RISC1715,
author = {Jochen Pfalzgraf and Ute Sigmund and Karel Stokkermans},
title = {{MEDLAR II: First Year Deliverable Tasks I.3: Comparison of Two Approaches to Modeling Robotics Scenarios}},
number = {93-56},
year = {1993},
note = {Published in RISC/TH Darmstadt Deliverable for the MEDLAR II 12-months-review-workshop, Leeds, UK, July 1993.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471 project MEDLAR II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

On Robotics Scenarios and Modeling with Fibered Structures

Jochen Pfalzgraf, Karel Stokkermans

Technical report no. 93-58 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1993. Published in Springer Series Texts and Monographs in Symbolic Computation, J. Pfalzgraf, D. Wang (eds.). To appear..

[bib]

@techreport{RISC1717,
author = {Jochen Pfalzgraf and Karel Stokkermans},
title = {{On Robotics Scenarios and Modeling with Fibered Structures}},
number = {93-58},
year = {1993},
note = {Published in Springer Series Texts and Monographs in Symbolic Computation, J. Pfalzgraf, D. Wang (eds.). To appear.},
sponsor = { Austrian Ministery for Science and Research and Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Projects 3125, project MEDLAR I, and 6471, project MEDLA},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1992

[Pfalzgraf]

Scenario Construction Continued and Extended with a View to Test and Enhancement of Reasoning Methods

Jochen Pfalzgraf, Karel Stokkermans

Technical report no. 92-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1992.

[bib]

@techreport{RISC1763,
author = {Jochen Pfalzgraf and Karel Stokkermans},
title = {{Scenario Construction Continued and Extended with a View to Test and Enhancement of Reasoning Methods}},
number = {92-27},
year = {1992},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1991

[Pfalzgraf]

Towards a Toolkit for Benchmark Scenarios in Robot Multi-tasking

Fatima Dargam, Jochen Pfalzgraf, Volker Stahl, Karel Stokkermans

Technical report no. 91-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1991.

[bib]

@techreport{RISC1837,
author = {Fatima Dargam and Jochen Pfalzgraf and Volker Stahl and Karel Stokkermans},
title = {{Towards a Toolkit for Benchmark Scenarios in Robot Multi-tasking}},
number = {91-45},
year = {1991},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR. and CNP$_q$, Brazil},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Logical Fiberings and Polycontextural Systems

Jochen Pfalzgraf

Technical report no. 91-24 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1991. Published in Proceedings of FAIR'91, Jarrand, Kehmen (eds.), Springer, LNCS 535. Short Version of RISC-Report 91-13..

[bib]

@techreport{RISC1857,
author = {Jochen Pfalzgraf},
title = {{Logical Fiberings and Polycontextural Systems}},
number = {91-24},
year = {1991},
note = {Published in Proceedings of FAIR'91, Jarrand, Kehmen (eds.), Springer, LNCS 535. Short Version of RISC-Report 91-13.},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

Symbolic Computation Tools for Technological Modeling

J. Heinzelreiter, M. Kalkbrener, H. Mayr, J. Pfalzgraf, S. Stifter, B. Wall

Technical report no. 91-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1991. Published in Proc. IFAC/IFIP/IMACS-Symposium on Robot Control (SYROCO'91), Sept. 16-18, 1991, Vienna, Austria, I. Troch, K. Desoyer, P. Kopacek (eds.), pp. 435-440..

[bib]

@techreport{RISC1862,
author = {J. Heinzelreiter and M. Kalkbrener and H. Mayr and J. Pfalzgraf and S. Stifter and B. Wall},
title = {{Symbolic Computation Tools for Technological Modeling}},
number = {91-19},
year = {1991},
note = {Published in Proc. IFAC/IFIP/IMACS-Symposium on Robot Control (SYROCO'91), Sept. 16-18, 1991, Vienna, Austria, I. Troch, K. Desoyer, P. Kopacek (eds.), pp. 435-440.},
sponsor = { AIS Ges.m.b.H. and ITF Austria, Austrian Forschungsf"{o}rderungsfonds, project no. P6763},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Pfalzgraf]

On Logical Fiberings and Polycontextural Systems

Jochen Pfalzgraf

Technical report no. 91-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1991.

[bib]

@techreport{RISC1868,
author = {Jochen Pfalzgraf},
title = {{On Logical Fiberings and Polycontextural Systems}},
number = {91-13},
year = {1991},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

1990

[Pfalzgraf]

Reasoning on a M{\"o}bius Strip

Jochen Pfalzgraf

Technical report no. 90-60 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1990.

[bib]

@techreport{RISC1926,
author = {Jochen Pfalzgraf},
title = {{Reasoning on a M{\"o}bius Strip}},
number = {90-60},
year = {1990},
sponsor = { Esprit Basic Research Actions 3125 Project MEDLAR. %{\abstr 90-60.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}