Logical fiberings and polycontextural systems.
In Ph.Jorrand and J.Kelemen (eds.):
Fundamentals of Artificial Intelligence Research FAIR'91. Proceedings,
Springer LNCS 535, Subseries Lecture Notes in AI (1991).
On mathematical modeling in robotics.
In J.Calmet and J. A. Campbell (eds.):
AI and Symbolic Mathematical Computing. Proceedings AISMC-1,
Springer LNCS 737 (1993).
A category of geometric spaces: some computational aspects.
Annals of Mathematics and AI
13 (1995) 173-193.
(Special Issue on Algebraic Approaches to Geometry Theorem Proving).
Quality Control Connectionist Networks
Supported by a Mathematical Model (joint work with H.Geiger).
Proceedings of the International Conference on Engineering
Applications of Artificial Neural Networks (EANN'95),
21-23 August, 1995, Helsinki.
A.B.Bulsari, S.Kallio (Editors), Finnish AI Society.
Graph products of groups and group spaces.
Journal of Geometry 53 (1995) 131-147.
Towards a general
approach for modeling actions and change
in cooperating agents scenarios, (joint work with U.Sigmund
and K.Stokkermans).
Special
Issue of IGPL (Journal of the Interest Group in Pure and
Applied Logics), IGPL 4 (3) (1996) 445-472.
On a semantics for cooperative agents scenarios,
(with V.Sofronie and K.Stokkermans).
Proceedings 13th European Meeting on Cybernetics and Systems Resarch
(EMCSR'96), April 9-12, 1996, Vienna.
Grassmann geometry applied to a problem in robotics.
Invited contribution. In:
H.G.Grassmann: Visionary Mathematician, Scientist and
Neohumanist Scholar.
Papers from a Sesquicentennial Conference. Gert Schubring, Editor.
Kluwer Academic Publishers 1996.
A fibered approach to modeling space-time dependent
cooperating agents scenarios (with V.Sofronie and K.Stokkermans).
Proceedings International Conference on Formal and Applied
Practical Reasoning (FAPR), 3-7 June, 1996, Bonn.
(FAPR-Workshop on Reasoning About Actions and Planning in Complex
Environments (U.C.Sigmund, M.Thielscher, organisers)).
On geometric and topological reasoning in robotics. Annals of Mathematics and AI 19 (1997) 279-318 (special issue on AI and Symbolic Mathematical Computing), Jacques Calmet, John A. Campbell (Eds.).
On a category of geometric spaces and geometries induced by group actions.
Proceedings International Workshop ``Mathematical Physics - today,
Priority Technologies - for tomorrow''.
MATHPHYS'Kiev 1997, 12-17 May, 1997, Kiev, Ukraine.
(Invited contribution).
Published in: Ukrain. Journ. Physics 43,7 (1998) 847-856.
Design and implementation of a flexible simulation tool for hybrid
problem solving (with H.Geiger, A.Bücherl, K.Frank, T.Neuböck,
J.Weichenberger).
Proceedings 5th International Workshop Fuzzy-Neuro Systems'98,
March 19-20, 1998, Munich.
On finding zeros of complex polynomials: an experimental case study. Research Report, University of Salzburg, 1999.
A logical approach to model concurrency in multiagent systems
(with W.Meixl).
Proceedings 15th European Meeting on Cybernetics and Systems Research
(EMCSR'2000), April 25-28, 2000, Vienna.
Austrian Society for Cybernetic Studies, R.Trappl (ed.).
Design, implementation, and application of a tool for optimal aircraft
positioning. (With K.Frank, S.Stolzenberg, J.Weichenberger).
Proceedings EvoFlight2000, April 2000, Edinburgh.
Springer Lecture Notes in Computer Scienece, Vol. 1803 (2000),
Real-World Applications of Evolutionary Computing,
Cagnoni S., et al (Eds.).
Fibered rational agents: logical fiberings and activity networks.
(With W.Meixl).
Proceedings FAPR'2000, September 2000, Imperial College London,
D.M.Gabbay, R.J.Cunningham (Eds.).
The concept of logical fiberings and fibered logical controllers.
Proceedings CASYS'2000,
"Computing Anticipatory Systems: CASYS 2000".
August 7-12, 2000, Liège, Belgium.
American Institute of Physics, AIP Conference Proceedings,
Vol.573 (2001), pp. 683-693, D.M.Dubois (Ed.).
A note on modeling connectionist network structures:
geometric and categorical aspects.
Proceedings AISC'2000, July 17-19, 2000, Madrid.
Springer Lecture Notes in Artificial Intelligence, Vol.1930 (2001),
pp.184-199. J.A.Campbell, E.Roanes-Lozano (Eds.).
Computer-aided construction of finite geometric spaces:
automated verification of geometric constraints. (With W.Gehrke).
Journal of Automated Reasoning 26 (2001) 139-160.
(Dedicated to the founder of noncommutative (incidence) geometry,
Professor Johannes André, on the occasion of his 75th birthday).
Time coded neurons, geometric networks, and homomorphic learning.
(With R.Bernhaupt).
Proceedings WSES International Conference on Neural Networks and Applications
(NNA'01), February 11-15, 2001, Tenerife, Canary Islands.
On logical fiberings and decomposition of many-valued operations:
a brief survey.
Proceedings 31st IEEE International Symposium on Multiple-valued Logic
(ISMVL'2001), May 22-24, 2001, Warsaw, Poland.
On mathematical modeling of networks and implementation aspects.
(With R.Bernhaupt).
Proceedings AISC'2002 (AI and Symbolic Computation), July 1-3 (2002),
Marseille, France.
Published in: Artificial Intelligence, Automated Reasoning, and
Symbolic Computation.
Springer Lecture Notes in Artificial Intellligence, LNAI 2385.
J.Calmet, B.Benhamou, O.Caprotti, L.Henocque, V.Sorge (Eds.),
Springer-Verlag 2002.
Modeling connectionist network structures:
some geometric and categorical aspects.
Annals of Mathematics and Artificial Intelligence
36 (3) (2002), 279-301
(special issue on "AI and Symbolic Computation",
Editors: J.Calmet and E.Roanes-Lozano).
Kluwer Academic Publishers.
Modeling connectionist networks: categorical, geometric aspects
(towards "homomorphic learning").
Proceedings CASYS'2003,
"Computing Anticipatory Systems: CASYS 2003".
August 11-16, 2003, Liège, Belgium.
American Institute of Physics, AIP Conference Proceedings,
Vol.718 (2004), D.M.Dubois (Ed.).
Received a Best Paper Award .
The concept of logical fiberings: distributed logics for multiagent systems.
(With J.Edtmayr).
Proceedings 17th European Meeting on Cybernetics and
Systems Research (EMCSR'2004), April 13-16, 2004, Vienna.
Austrian Society for Cybernetic Studies, R.Trappl (ed.).
On Categorical and Logical Modeling in Multiagent Systems.
Abstract. Presented at:
InterSymp-2004: 16th International Conference on Systems Research,
Informatics and Cybernetics,
July 29 - August 5, 2004, Baden-Baden, Germany.
Invited Contribution.
On Logical Fiberings and Automated Deduction
in Many-valued Logics Using Gröbner Bases.
Invited Article.
Revista Real Academia de Ciencias, Serie A de Matemáticas,
RACSAM,
Vol. 98(1), 2004 . (Royal Academy of Sciences of Spain).
Special issue on
"Symbolic Computation in Logic and Artificial Intelligence".
Editors: Luis M. Laita, Jose Antonio Alonso, Eugenio Roanes-Lozano.
NOTA: The electronic version of the issue is
available at the Royal Academy's web page:
http://racefyn.insde.es/Publicaciones/racsam/indices/vol98_1.htm
Applied and Computational Category Theory (ACCAT).
Tutorial presented at an own Workshop (WS 12) at
27th German Conference on Artificial Intelligence, KI-2004,
September 20-24, 2004, University of Ulm.
1. On a Hybrid Symbolic, Connectionist Approach for Modeling
Robot Arm Kinematics. (Abstract).
2. Towards a Biomathematical Model of Intentional
Autonomous Multiagent Systems. (With B.Mitterauer). (Abstract).
Both Abstracts published in EXTENDED ABSTRACTS Book:
EUROCAST 2005, 10th International Conference On Computer Aided
Systems Theory. February 7-11, 2005,
Las Palmas de Gran Canaria.
Edited by: Alexis Quesada-Arencibia,
Roberto Moreno-Díaz jr., José-Carlos Rodríguez,
2005,
IUCTC Universidad de Las Palmas de Gran Canaria,
ISBN: 84-689-0432-5.
(J.Pfalzgraf was Co-Chairman of the session
ROBOTICS and CONTROL,
cf.
EUROCAST-2005).
On Categorical and Logical Modeling in Multiagent Systems.
Anticipative and Predictive Models in Systems Science, Vol.1,
pp. 93-98.
George E. Lasker and Daniel Dubois (Eds.),
ISBN 1894613-49-X,
published by the IIAS, Windsor, Ontario, Canada (2005).
Invited Contribution, full paper
(cf. invited talk) to a Symposium at
InterSymp-2004,
July 29 - August 5 (2004), Baden-Baden, Germany.
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems.
(With B.Mitterauer).
Proceedings
EUROCAST 2005, 10th International Conference On Computer Aided
Systems Theory. February 7-11, 2005,
Las Palmas de Gran Canaria.
Springer Verlag,
Lecture Notes in Computer Science, LNCS 3643 (2005),
pp. 577-583.
Modeling Knowledge-based and Learning Systems:
Some Mathematical and Soft Computing Methods.
Abstract of an Invited Talk at a Workshop on Decision
Support Systems (DSS), organized by the European Working Group on DSS
(EwgDSS). June 5-7, 2005, University of Graz, Austria.
Cf.
EwgDSS.
On an Idea for Constructing Multiagent Systems (MAS) Scenarios.
Abstract of a Welcome and Opening Talk at the own
Symposium at InterSymp-2005,
17th International Conference
on Systems Research, Informatics and Cybernetics.
August 1-7, 2005, Baden-Baden, Germany.
SYMPOSIUM TITLE: "Multiagent Systems (MAS), Robotics
and Cybernetics: Theory and Practice".
(Organizer and Chairman: J.Pfalzgraf).
Cf.
InterSymp-2005.
Applied and Computational Category Theory, ACCAT 2006.
Collection of Abstracts of the Satellite Event:
ACCAT Workshop,
European Joint Conferences on Theory and Practice of Software
(ETAPS-2006), TU Vienna, March 25 - April 2, 2006, Austria.
Editors of Abstract Collection: J.Pfalzgraf and H.Ehrig.
Organizer and Chairman of the ACCAT 2006 Workshop:
J.Pfalzgraf and H.Ehrig. Cf.
ACCAT 2006.
Applied and Computational Category Theory (ACCAT):
Its Origins and Perspectives.
Abstract (Proposal) of a Keynote Address invited, reviewed and
refereed by IIAS for presentation at
18th International Conference
on Systems Research, Informatics and Cybernetics (InterSymp-2006).
August 7-12, 2006, Baden-Baden, Germany.
REMARK by the IIAS Conference Chairman (letter to J.Pfalzgraf):
"Your proposal has also been judged as the one of the best
received (within the top 2% of about 560 proposals reviewed)."
On an Idea for Constructing Multiagent Systems (MAS) Scenarios.
ADVANCES in MULTIAGENT SYSTEMS, ROBOTICS and CYBERNETICS:
Theory and Practice. (Volume I)
Edited by: George E.LASKER and Jochen PFALZGRAF
Published by:
The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and
CYBERNETICS (IIAS) (Tecumseh, Canada), 2006.
ISBN 1-897233-36-1
On a General Notion of Transformation for Multiagent Systems.
(With T.Soboll).
Proceedings of the Conference: Integrated Design and Process Technology,
IDPT-2007,
June 3-8, 2007, Antalya, Turkey.
Society for Design and Process Science, ISSN 1090 - 9389.
Applied and Computational Category Theory (ACCAT):
Its Origins and Perspectives.
Publication of a presentation (Keynote Address) given at
18th International Conference
on Systems Research, Informatics and Cybernetics (InterSymp-2006).
August 7-12, 2006, Baden-Baden, Germany.
In: Advances in COMPUTER CYBERNETICS, Vol. XIII
Edited by: George E. LASKER (President of The IIAS)
Published by:
The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and
CYBERNETICS (IIAS) (Tecumseh, Canada), 2007.
ISBN 978-1-897233-49-8
The Base Diagram of a Multiagent System:
A Categorical Model of the General Communication Structure.
(With T.Soboll as invited co-author).
ADVANCES in MULTIAGENT SYSTEMS, ROBOTICS and CYBERNETICS:
Theory and Practice. (Volume II)
Edited by: George E.LASKER and Jochen PFALZGRAF
Published by:
The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and
CYBERNETICS (IIAS) (Tecumseh, Canada), 2008.
ISBN 978-1-897233-61-0
On a Hybrid Symbolic-Connectionist Approach
for Modeling the Kinematic Robot Map -
and Benchmarks for Computer Algebra.
Invited Contribution with the same title of an
Invited Talk .
In:
Proceedings of the Conference
Artificial Intelligence and Symbolic Computation (AISC-2008),
July 31-August 2, 2008, Birmingham, England.
S.Autexier, et al. (eds.): AISC/Calculemus/MKM 2008.
Springer Lecture Notes in Artificial Intelligence LNAI 5144,
2008.
On a General Notion of Transformation for Multiagent Systems and its
Implementation.
(With Thomas Soboll, 21 pages).
Invited Contribution in a Special Issue of
Electronic Communications of the EASST, Vol. 12 (2008)
on "Formal Modeling of Adaptive and Mobile Processes".
Guest Editors: Julia Padberg, Kathrin Hoffmann
Managing Editors: Tiziana Margaria, Julia Padberg,
Gabriele Taentzer.
ISSN 1863-2122
Grassmann Geometry in Robotics.
Invited Abstract for presentation at the
Grassmann Bicentennial Conference (1809 - 1877),
September 16 - 19, 2009, Potsdam/Szczecin (DE/PL).
A short note on Grassmann Manifolds with a view
to Noncommutative Geometry.
Invited Article to be published in the Proceedings Book
of the
Grassmann Bicentennial Conference (1809 - 1877),
September 16 - 19, 2009, Potsdam/Szczecin (DE/PL).
Birkhäuser Verlag 2010.
Symbolic Computation Tools for Technological Applications.
(joint work with J.Heinzelreiter et.al.)
Proceedings IFAC Symposium on Robotics Control (SYROCO'91),
Vienna, Austria (1991).