Bibliography of Popov v Hayashi in AI and Law

Size: px
Start display at page:

Download "Bibliography of Popov v Hayashi in AI and Law"

Transcription

1 Bibliography of Popov v Hayashi in AI and Law Trevor Bench-Capon Department of Computer Sciences University of Liverpool, Liverpool, UK tbc@csc.liv.ac.uk November 6, 2014 Abstract Bibliography for Popov v Hayashi in AI and Law and selected AI and Law papers on the wild animals cases. 1 Popov v Hayashi Ashley, Kevin D. Toward Modeling Analogical, Teleological and Hypothetical Legal Reasoning in a Case Microworld. Modelling Legal Cases (2009): 95. [1] Ashley, Kevin D. The case-based reasoning approach: ontologies for analogical legal argument. Approaches to Legal Ontologies. Springer Netherlands, [2] Atkinson, Katie, and Trevor Bench-Capon. Argumentation and standards of proof. Proceedings of the 11th international conference on Artificial intelligence and law. ACM, [5] Atkinson, Katie, Modelling Legal Cases. Springer, [3] Atkinson, Katie. Introduction to special issue on modelling Popov v. Hayashi. Artificial Intelligence and Law 20.1 (2012): [4] Bench-Capon, Trevor JM. Representing Popov v Hayashi with dimensions and factors. Artificial Intelligence and Law 20.1 (2012): [13] 1

2 Egly, Uwe, Sarah Alice Gaggl, and Stefan Woltran. Aspartix: Implementing argumentation frameworks using answer-set programming. Logic Programming. Springer Berlin Heidelberg, [19] Gordon, Thomas F., and Douglas Walton. A Carneades reconstruction of Popov v Hayashi. Artificial Intelligence and Law 20.1 (2012): [22] Prakken, Henry. Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics. Artificial Intelligence and law 20.1 (2012): [24]. Walton, Douglas. Similarity, precedent and argument from analogy. Artificial Intelligence and Law 18.3 (2010): [29] Walton, Douglas. Baseballs and arguments from fairness. Artificial Intelligence and Law: [28] Wyner, Adam, Trevor Bench-Capon, and Katie Atkinson. Arguments, values and baseballs: Representation of Popov v. Hayashi. JURIX. Vol [31] Wyner, Adam. An OWL ontology for legal cases with an instantiation of Popov v. Hayashi. Proceedings of the ICAIL 2009 workshop on modeling legal cases. IDT Series. Huygens Editorial, Barcelona [30] Wyner, Adam, and Rinke Hoekstra. A legal case OWL ontology with an instantiation of Popov v. Hayashi. Artificial Intelligence and Law 20.1 (2012): [32] 2 Selected Wild Animals in AI and Law Atkinson, Katie, Trevor Bench-Capon, and Peter McBurney. Arguing about cases as practical reasoning. Proceedings of the 10th international conference on Artificial intelligence and law. ACM, [6] Bench-Capon, Trevor, and Giovanni Sartor. A quantitative approach to theory coherence. Legal Knowledge and Information Systems. JURIX (2001): [10] Bench-Capon, Trevor JM, and Rissland, Edwina L. Back to the future: dimensions revisited. Proceedings of JURIX [14] Bench-Capon, Trevor J. M. The missing link revisited: The role of teleology in representing legal argument. Artificial Intelligence and Law (2002): [15] Bench-Capon, Trevor, and Giovanni Sartor. A model of legal reasoning with cases incorporating theories and values. Artificial Intelligence

3 (2003): [11] Bench-Capon, Trevor JM. Try to see it my way: Modelling persuasion in legal discourse. Artificial Intelligence and Law 11.4 (2003): [12] Bench-Capon, Trevor, Katie Atkinson, and Alison Chorley. Persuasion and value in legal argument. Journal of Logic and Computation 15.6 (2005): [7] Bench-Capon, Trevor, and Sanjay Modgil. Case law in extended argumentation frameworks. Proceedings of the 12th International Conference on Artificial Intelligence and Law. ACM, [8] Bench-Capon, Trevor, et al. Argument schemes for reasoning with legal cases using values. Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. ACM, [9] Berman, Donald H., and Carole D. Hafner. Representing teleological structure in case-based legal reasoning: the missing link. Proceedings of the 4th international conference on Artificial intelligence and law. ACM, [16] Chorley, Alison, and Trevor Bench-Capon. Agatha: Automation of the construction of theories in case law domains. Proceedings of Jurix [17] Chorley, Alison, and Trevor Bench-Capon. AGATHA: Using heuristic search to automate the construction of case law theories. Artificial Intelligence and Law 13.1 (2005): [18] Gaggl, Sarah Alice. Solving argumentation frameworks using answer set programming. Technical University, Vienna, [20] Gordon, Thomas F., and Douglas Walton. Pierson vs. Post Revisited. Frontiers in Artificial Intelligence and Applications 144 (2006): 208. [21] Prakken, Henry. An exercise in formalising teleological case-based reasoning. Artificial Intelligence and Law (2002): [23] Sartor, Giovanni. Teleological arguments and theory-based dialectics. Artificial Intelligence and Law (2002): [25] Sileno, Giovanni, Alexander Boer, and Tom van Engers. Intentions and motives in legal reasoning and legal narratives. [26] Suzuki, Yoshitaka. Dialogue game tree with nondeterministic additive consolidation. Computational Logic in Multi-Agent Systems. Springer Berlin Heidelberg, [27] 3

4 References [1] K. D. Ashley. Toward modeling analogical, teleological and hypothetical legal reasoning in a case microworld. Modelling Legal Cases, page 95, [2] K. D. Ashley. The case-based reasoning approach: ontologies for analogical legal argument. In Approaches to Legal Ontologies, pages Springer, [3] K. Atkinson. Modelling Legal Cases. Springer, [4] K. Atkinson. Introduction to special issue on modelling popov v. hayashi. Artificial Intelligence and Law, 20(1):1 14, [5] K. Atkinson and T. Bench-Capon. Argumentation and standards of proof. In Proceedings of the 11th international conference on Artificial intelligence and law, pages ACM, [6] K. Atkinson, T. Bench-Capon, and P. McBurney. Arguing about cases as practical reasoning. In Proceedings of the 10th international conference on Artificial intelligence and law, pages ACM, [7] T. Bench-Capon, K. Atkinson, and A. Chorley. Persuasion and value in legal argument. Journal of Logic and Computation, 15(6): , [8] T. Bench-Capon and S. Modgil. Case law in extended argumentation frameworks. In Proceedings of the 12th International Conference on Artificial Intelligence and Law, pages ACM, [9] T. Bench-Capon, H. Prakken, A. Wyner, and K. Atkinson. Argument schemes for reasoning with legal cases using values. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, pages ACM, [10] T. Bench-Capon and G. Sartor. A quantitative approach to theory coherence. Legal Knowledge and Information Systems. JURIX, pages 53 62,

5 [11] T. Bench-Capon and G. Sartor. A model of legal reasoning with cases incorporating theories and values. Artificial Intelligence, 150(1):97 143, [12] T. J. Bench-Capon. Try to see it my way: Modelling persuasion in legal discourse. Artificial Intelligence and Law, 11(4): , [13] T. J. Bench-Capon. Representing popov v hayashi with dimensions and factors. Artificial Intelligence and Law, 20(1):15 35, [14] T. J. Bench-Capon and E. L. Rissland. Back to the future: dimensions revisited. In Proceedings of JURIX IOS Press, [15] T. J. M. Bench-Capon. The missing link revisited: The role of teleology in representing legal argument. Artificial Intelligence and Law, 10(1-3):79 94, [16] D. H. Berman and C. D. Hafner. Representing teleological structure in case-based legal reasoning: the missing link. In Proceedings of the 4th international conference on Artificial intelligence and law, pages ACM, [17] A. Chorley and T. Bench-Capon. Agatha: Automation of the construction of theories in case law domains. In Proceedings of Jurix, pages 89 98, [18] A. Chorley and T. Bench-Capon. Agatha: Using heuristic search to automate the construction of case law theories. Artificial Intelligence and Law, 13(1):9 51, [19] U. Egly, S. A. Gaggl, and S. Woltran. Aspartix: Implementing argumentation frameworks using answer-set programming. In Logic Programming, pages Springer, [20] S. A. Gaggl. Solving argumentation frameworks using answer set programming. Technical University, Vienna, [21] T. F. Gordon and D. Walton. Pierson vs. post revisited. Frontiers in Artificial Intelligence and Applications, 144:208, [22] T. F. Gordon and D. Walton. A carneades reconstruction of popov v hayashi. Artificial Intelligence and Law, 20(1):37 56,

6 [23] H. Prakken. An exercise in formalising teleological case-based reasoning. Artificial Intelligence and Law, 10(1-3): , [24] H. Prakken. Reconstructing popov v. hayashi in a framework for argumentation with structured arguments and dungean semantics. Artificial Intelligence and law, 20(1):57 82, [25] G. Sartor. Teleological arguments and theory-based dialectics. Artificial Intelligence and Law, 10(1-3):95 112, [26] G. Sileno, A. Boer, and T. van Engers. Intentions and motives in legal reasoning and legal narratives. [27] Y. Suzuki. Dialogue game tree with nondeterministic additive consolidation. In Computational Logic in Multi-Agent Systems, pages Springer, [28] D. Walton. Baseballs and arguments from fairness. Artificial Intelligence and Law, pages [29] D. Walton. Similarity, precedent and argument from analogy. Artificial Intelligence and Law, 18(3): , [30] A. Wyner. An owl ontology for legal cases with an instantiation of popov v. hayashi. In Proceedings of the ICAIL 2009 workshop on modeling legal cases. IDT Series. Huygens Editorial, Barcelona, pages 21 40, [31] A. Wyner, T. Bench-Capon, and K. Atkinson. Arguments, values and baseballs: Representation of popov v. hayashi. In JURIX, volume 165, pages , [32] A. Wyner and R. Hoekstra. A legal case owl ontology with an instantiation of popov v. hayashi. Artificial Intelligence and Law, 20(1):83 107,

A Model-Based Critique Tool for Policy Deliberation

A Model-Based Critique Tool for Policy Deliberation A Model-Based Critique Tool for Policy Deliberation Adam WYNER 1, Maya WARDEH, Trevor BENCH-CAPON and Katie ATKINSON Department of Computer Science, University of Liverpool, UK Abstract. Domain models

More information

A Brief History of AI and Law. Frans Coenen and Trevor Bench-Capon 12 December 2017 AI & Law Workshop BCS SGAI AI 17

A Brief History of AI and Law. Frans Coenen and Trevor Bench-Capon 12 December 2017 AI & Law Workshop BCS SGAI AI 17 A Brief History of AI and Law Frans Coenen and Trevor Bench-Capon 12 December 2017 AI & Law Workshop BCS SGAI AI 17 Timeline Early Work (

More information

Introducing the Logic and Law Corner

Introducing the Logic and Law Corner Introducing the Logic and Law Corner TREVOR BENCH-CAPON, Department of Computer Science, University of Liverpool, Liverpool, L69,7ZF, UK. E-mail: tbc@csc.liv.ac.uk HENRY PRAKKEN, Department of Information

More information

INFORMATION TECHNOLOGY AND LAWYERS

INFORMATION TECHNOLOGY AND LAWYERS INFORMATION TECHNOLOGY AND LAWYERS Information Technology and Lawyers Advanced Technology in the Legal Domain, from Challenges to Daily Routine Edited by ARNO R. LODDER Centre for Electronic Dispute Resolution

More information

Collective decision-making process to compose divergent interests and perspectives

Collective decision-making process to compose divergent interests and perspectives Collective decision-making process to compose divergent interests and perspectives Maxime MORGE SMAC/LIFL/USTL Maxime Morge ADMW05 - slide #1 Motivation : a collective and arguable decison-making Social

More information

Comments on Summers' Preadvies for the Vereniging voor Wijsbegeerte van het Recht

Comments on Summers' Preadvies for the Vereniging voor Wijsbegeerte van het Recht BUILDING BLOCKS OF A LEGAL SYSTEM Comments on Summers' Preadvies for the Vereniging voor Wijsbegeerte van het Recht Bart Verheij www.ai.rug.nl/~verheij/ Reading Summers' Preadvies 1 is like learning a

More information

An Ontological Approach to Unified Contract Management

An Ontological Approach to Unified Contract Management An Ontological Approach to Unified Contract Management Vandana Kabilan, Paul Johannesson, Dickson Rugaimukamu {vandana, pajo, si-dmr}@dsv.su.se Department of Computer and Systems Sciences Stockholm University

More information

Workshop on Argumentation Technology for Policy Deliberations

Workshop on Argumentation Technology for Policy Deliberations Workshop on Argumentation Technology for Policy Deliberations University of Amsterdam 17 December 2012 In conjunction with The 25th International Conference on Legal Knowledge and Information Systems (Jurix

More information

Henry Prakken s Publications

Henry Prakken s Publications Henry Prakken s Publications Journals [1] H. Prakken, An argumentation-based analysis of the Simonshaven case. Topics in Cognitive Science 2019, special issue on Models of Rational Proof in Criminal Law,

More information

Detecticon: A Prototype Inquiry Dialog System

Detecticon: A Prototype Inquiry Dialog System Detecticon: A Prototype Inquiry Dialog System Takuya Hiraoka and Shota Motoura and Kunihiko Sadamasa Abstract A prototype inquiry dialog system, dubbed Detecticon, demonstrates its ability to handle inquiry

More information

Human-Computer Interaction based on Discourse Modeling

Human-Computer Interaction based on Discourse Modeling Human-Computer Interaction based on Discourse Modeling Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria kaindl@ict.tuwien.ac.at

More information

Automatic Generation of Web Interfaces from Discourse Models

Automatic Generation of Web Interfaces from Discourse Models Automatic Generation of Web Interfaces from Discourse Models Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria kaindl@ict.tuwien.ac.at

More information

CLIME: Lessons Learned in Legal Information Serving

CLIME: Lessons Learned in Legal Information Serving CLIME: Lessons Learned in Legal Information Serving Radboud Winkels and Alexander Boer and Rinke Hoekstra 1 Abstract. This paper presents lessons learned from the CLIME project (1998-2001), aimed at improving

More information

Session 3: Position Papers (14:30 16:00)

Session 3: Position Papers (14:30 16:00) Session 3: Position Papers (14:30 16:00) Chair: Dr. Kevin D. Ashley, University of Pittsburgh School of Law 1. Dr. Kevin D. Ashley, Emerging AI+Law Approaches to Automating Analysis and Retrieval of ESI

More information

AI MAGAZINE AMER ASSOC ARTIFICIAL INTELL UNITED STATES English ANNALS OF MATHEMATICS AND ARTIFICIAL

AI MAGAZINE AMER ASSOC ARTIFICIAL INTELL UNITED STATES English ANNALS OF MATHEMATICS AND ARTIFICIAL Title Publisher ISSN Country Language ACM Transactions on Autonomous and Adaptive Systems ASSOC COMPUTING MACHINERY 1556-4665 UNITED STATES English ACM Transactions on Intelligent Systems and Technology

More information

A SET OF CRITICAL HEURISTICS FOR VALUE SENSITIVE DESIGNERS AND USERS OF PERSUASIVE SYSTEMS

A SET OF CRITICAL HEURISTICS FOR VALUE SENSITIVE DESIGNERS AND USERS OF PERSUASIVE SYSTEMS Association for Information Systems AIS Electronic Library (AISeL) ECIS 2011 Proceedings European Conference on Information Systems (ECIS) Summer 10-6-2011 A SET OF CRITICAL HEURISTICS FOR VALUE SENSITIVE

More information

Communication: A Specific High-level View and Modeling Approach

Communication: A Specific High-level View and Modeling Approach Communication: A Specific High-level View and Modeling Approach Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria kaindl@ict.tuwien.ac.at

More information

Meet Me in St. Louis

Meet Me in St. Louis November 1999 International Association for Artificial Intelligence and Law http://nathan.gmd.de/iaail/iaail.html Meet Me in St. Louis ICAIL 2001 in Historic American City By Ron Loui St. Louis, site of

More information

COMP219: Artificial Intelligence. Lecture 2: AI Problems and Applications

COMP219: Artificial Intelligence. Lecture 2: AI Problems and Applications COMP219: Artificial Intelligence Lecture 2: AI Problems and Applications 1 Introduction Last time General module information Characterisation of AI and what it is about Today Overview of some common AI

More information

THE FORMAL SPECIFICATION OF A LEGAL ONTOLOGY

THE FORMAL SPECIFICATION OF A LEGAL ONTOLOGY THE FORMAL SPECIFICATION OF A LEGAL ONTOLOGY Pepijn Visser and Trevor Bench-Capon Department of Computer Science, University of Liverpool P.O. Box 147, L69 7ZF Liverpool, United Kingdom {pepijn, tbc}@csc.liv.ac.uk

More information

Autonomous Robotic (Cyber) Weapons?

Autonomous Robotic (Cyber) Weapons? Autonomous Robotic (Cyber) Weapons? Giovanni Sartor EUI - European University Institute of Florence CIRSFID - Faculty of law, University of Bologna Rome, November 24, 2013 G. Sartor (EUI-CIRSFID) Autonomous

More information

Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering

Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering Thomas Kofler and Daniel Ratiu 2010-11-03 The Third Workshop on Domain Engineering

More information

Ontologies in Legal Information Systems; The Need for Explicit Specifications of Domain Conceptualisations

Ontologies in Legal Information Systems; The Need for Explicit Specifications of Domain Conceptualisations Ontologies in Legal Information Systems; The Need for Explicit Specifications of Domain Conceptualisations Trevor J.M. Bench-Capon and Pepijn R.S. Visser LIAL - Legal Informatics at Liverpool Department

More information

My AI in Peace Machine

My AI in Peace Machine My AI in Peace Machine Timo Honkela University of Helsinki Finland MyData Conference Helsinki, FI, Aug 31, 2018 Personal timeline Born 1962 Mother died 1971 Quest for understanding MSc studies on human

More information

COMPUTATIONAL MODELS OF ARGUMENT

COMPUTATIONAL MODELS OF ARGUMENT COMPUTATIONAL MODELS OF ARGUMENT Frontiers in Artificial Intelligence and Applications FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral

More information

Gameplay as On-Line Mediation Search

Gameplay as On-Line Mediation Search Gameplay as On-Line Mediation Search Justus Robertson and R. Michael Young Liquid Narrative Group Department of Computer Science North Carolina State University Raleigh, NC 27695 jjrobert@ncsu.edu, young@csc.ncsu.edu

More information

Interpretation Method for Software Support of the Conceptual

Interpretation Method for Software Support of the Conceptual Interpretation Method for Software Support of the Conceptual Redesign Process Emergence of a new concepts in the interpretation process Jakub Jura 1, Jiří Bíla 2 1,22 Faculty of Mechanical Engineering,

More information

Distinguishing between Knowledge Visualization and Knowledge Representation in Legal Informatics

Distinguishing between Knowledge Visualization and Knowledge Representation in Legal Informatics Distinguishing between Knowledge Visualization and Knowledge Representation in Legal Vytautas Čyras Vilnius University, Faculty of Mathematics and Naugarduko 24, LT-03225 Vilnius, Lithuania, vytautas.cyras@mif.vu.lt

More information

Artificial Intelligence

Artificial Intelligence Politecnico di Milano Artificial Intelligence Artificial Intelligence What and When Viola Schiaffonati viola.schiaffonati@polimi.it What is artificial intelligence? When has been AI created? Are there

More information

ACHIEVEMENT AND ASSURANCE OF SAFETY

ACHIEVEMENT AND ASSURANCE OF SAFETY ACHIEVEMENT AND ASSURANCE OF SAFETY Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) 3-540-19817-2

More information

A Bibliography of Publications of Christopher Hugh Bryant

A Bibliography of Publications of Christopher Hugh Bryant A Bibliography of Publications of Christopher Hugh Bryant Christopher Hugh Bryant The Robert Gordon University School of Computing St Andrew St, Aberdeen AB25 1HG Scotland, UK Tel: +441224 262737 FAX:

More information

Ideas, Visualisations and Ontologies

Ideas, Visualisations and Ontologies Ideas, Visualisations and Ontologies Erich Schweighofer 1), Friedrich Lachmayer 2) 1) University of Vienna, Institute of Public International Law Research Center for Computers and Law A-1090 Vienna, Universitaetsstrasse

More information

Designing Semantic Virtual Reality Applications

Designing Semantic Virtual Reality Applications Designing Semantic Virtual Reality Applications F. Kleinermann, O. De Troyer, H. Mansouri, R. Romero, B. Pellens, W. Bille WISE Research group, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium

More information

Requirements for Successful Verification in Practice

Requirements for Successful Verification in Practice From: FLAIRS-02 Proceedings. Copyright 2002, AAAI (www.aaai.org). All rights reserved. Requirements for Successful Verification in Practice S. Spreeuwenberg, R. Gerrits LibRT Postbus 90359 1006 BJ AMSTERDAM,

More information

Structured Descriptions of Roles, Activities, and Procedures in the Roman Constitution

Structured Descriptions of Roles, Activities, and Procedures in the Roman Constitution Presented at the Italian Research Conference on Digital Libraries (IRCDL 2015), Bozen-Bolzano, Italy, 29-30 January, 2015. Structured Descriptions of Roles, Activities, and Procedures in the Roman Constitution

More information

Design Rationale as an Enabling Factor for Concurrent Process Engineering

Design Rationale as an Enabling Factor for Concurrent Process Engineering 612 Rafael Batres, Atsushi Aoyama, and Yuji NAKA Design Rationale as an Enabling Factor for Concurrent Process Engineering Rafael Batres, Atsushi Aoyama, and Yuji NAKA Tokyo Institute of Technology, Yokohama

More information

Modeling Enterprise Systems

Modeling Enterprise Systems Modeling Enterprise Systems A summary of current efforts for the SERC November 14 th, 2013 Michael Pennock, Ph.D. School of Systems and Enterprises Stevens Institute of Technology Acknowledgment This material

More information

The AgentLink III Technical Forums: Introduction to the Special Issue

The AgentLink III Technical Forums: Introduction to the Special Issue The AgentLink III Technical Forums: Introduction to the Special Issue PAOLO PETTA 1, ANDREA OMICINI 2, TERRY PAYNE 3 and PETER McBURNEY 4 1 Austrian Research Institute for Artificial Intelligence, Vienna,

More information

The role of testing in verification and certification Kerstin Eder

The role of testing in verification and certification Kerstin Eder The role of testing in verification and certification Kerstin Eder Design Automation and Verification, Microelectronics [and Trustworthy Systems Laboratory] Verification and Validation for Safety in Robots,

More information

A DIALOGUE-BASED APPROACH TO MULTI-ROBOT TEAM CONTROL

A DIALOGUE-BASED APPROACH TO MULTI-ROBOT TEAM CONTROL A DIALOGUE-BASED APPROACH TO MULTI-ROBOT TEAM CONTROL Nathanael Chambers, James Allen, Lucian Galescu and Hyuckchul Jung Institute for Human and Machine Cognition 40 S. Alcaniz Street Pensacola, FL 32502

More information

On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning

On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning Mirko Morandini 1, Luca Sabatucci 1, Alberto Siena 1, John Mylopoulos 2, Loris Penserini 1, Anna Perini 1, and Angelo

More information

Formalising Event Reconstruction in Digital Investigations

Formalising Event Reconstruction in Digital Investigations Formalising Event Reconstruction in Digital Investigations Pavel Gladyshev The thesis is submitted to University College Dublin for the degree of PhD in the Faculty of Science August 2004 Department of

More information

Analysing Design Protocols: Development of Methods and Tools

Analysing Design Protocols: Development of Methods and Tools Analysing Design Protocols: Development of Methods and Tools John S Gero Krasnow Institute for Advanced Study, Fairfax, VA, USA email: john@johngero.com Jeff WT Kan Taylor s University, Subang Jaya, Malaysia

More information

Introduction to the Special Issue: The AgentLink III Technical Forums

Introduction to the Special Issue: The AgentLink III Technical Forums 12 Introduction to the Special Issue: The AgentLink III Technical Forums PAOLO PETTA Austrian Research Institute for Artificial Intelligence, and Medical University of Vienna ANDREA OMICINI Università

More information

Ankur Sinha, Ph.D. Indian Institute of Technology, Kanpur, India Bachelor of Technology, Department of Mechanical Engineering, 2006

Ankur Sinha, Ph.D. Indian Institute of Technology, Kanpur, India Bachelor of Technology, Department of Mechanical Engineering, 2006 Ankur Sinha, Ph.D. Department of Information and Service Economy Aalto University School of Business Former: Helsinki School of Economics Helsinki 00100 Finland Email: Ankur.Sinha@aalto.fi EDUCATION Aalto

More information

A CYBER PHYSICAL SYSTEMS APPROACH FOR ROBOTIC SYSTEMS DESIGN

A CYBER PHYSICAL SYSTEMS APPROACH FOR ROBOTIC SYSTEMS DESIGN Proceedings of the Annual Symposium of the Institute of Solid Mechanics and Session of the Commission of Acoustics, SISOM 2015 Bucharest 21-22 May A CYBER PHYSICAL SYSTEMS APPROACH FOR ROBOTIC SYSTEMS

More information

AI Day on Knowledge Representation and Automated Reasoning

AI Day on Knowledge Representation and Automated Reasoning Faculty of Engineering and Natural Sciences AI Day on Knowledge Representation and Automated Reasoning Wednesday, 21 May 2008 13:40 15:30, FENS G035 15:40 17:00, FENS G029 Knowledge Representation and

More information

Lecture Notes in Artificial Intelligence 3396

Lecture Notes in Artificial Intelligence 3396 Lecture Notes in Artificial Intelligence 3396 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Rogier M. van Eijk Marc-Philippe Huget Frank Dignum (Eds.) Agent Communication

More information

Random Administrivia. In CMC 306 on Monday for LISP lab

Random Administrivia. In CMC 306 on Monday for LISP lab Random Administrivia In CMC 306 on Monday for LISP lab Artificial Intelligence: Introduction What IS artificial intelligence? Examples of intelligent behavior: Definitions of AI There are as many definitions

More information

AOSE Agent-Oriented Software Engineering: A Review and Application Example TNE 2009/2010. António Castro

AOSE Agent-Oriented Software Engineering: A Review and Application Example TNE 2009/2010. António Castro AOSE Agent-Oriented Software Engineering: A Review and Application Example TNE 2009/2010 António Castro NIAD&R Distributed Artificial Intelligence and Robotics Group 1 Contents Part 1: Software Engineering

More information

Introduction to Humans in HCI

Introduction to Humans in HCI Introduction to Humans in HCI Mary Czerwinski Microsoft Research 9/18/2001 We are fortunate to be alive at a time when research and invention in the computing domain flourishes, and many industrial, government

More information

The Nature of Informatics

The Nature of Informatics The Nature of Informatics Alan Bundy University of Edinburgh 19-Sep-11 1 What is Informatics? The study of the structure, behaviour, and interactions of both natural and artificial computational systems.

More information

Using Agent Technology for Ambient Assisted Living

Using Agent Technology for Ambient Assisted Living Using Agent Technology for Ambient Assisted Living Nikolaos I. Spanoudakis 1 and Pavlos Moraitis 2 1 Applied Mathematics and Computers Laboratory Technical University of Crete, Greece nispanoudakis@isc.tuc.gr

More information

Cybernetics, AI, Cognitive Science and Computational Neuroscience: Historical Aspects

Cybernetics, AI, Cognitive Science and Computational Neuroscience: Historical Aspects Cybernetics, AI, Cognitive Science and Computational Neuroscience: Historical Aspects Péter Érdi perdi@kzoo.edu Henry R. Luce Professor Center for Complex Systems Studies Kalamazoo College http://people.kzoo.edu/

More information

Journal Title ISSN 5. MIS QUARTERLY BRIEFINGS IN BIOINFORMATICS

Journal Title ISSN 5. MIS QUARTERLY BRIEFINGS IN BIOINFORMATICS List of Journals with impact factors Date retrieved: 1 August 2009 Journal Title ISSN Impact Factor 5-Year Impact Factor 1. ACM SURVEYS 0360-0300 9.920 14.672 2. VLDB JOURNAL 1066-8888 6.800 9.164 3. IEEE

More information

Strategic Evaluation in Complex Domains

Strategic Evaluation in Complex Domains Strategic Evaluation in Complex Domains Tristan Cazenave LIP6 Université Pierre et Marie Curie 4, Place Jussieu, 755 Paris, France Tristan.Cazenave@lip6.fr Abstract In some complex domains, like the game

More information

PAPER. Connecting the dots. Giovanna Roda Vienna, Austria

PAPER. Connecting the dots. Giovanna Roda Vienna, Austria PAPER Connecting the dots Giovanna Roda Vienna, Austria giovanna.roda@gmail.com Abstract Symbolic Computation is an area of computer science that after 20 years of initial research had its acme in the

More information

Department of Computer Science OUR RESEARCH

Department of Computer Science OUR RESEARCH Department of Computer Science OUR RESEARCH 2018 Contents Introduction Introduction 1 W elcome to the Department of Computer Science at the University of Liverpool. We enjoy close collaboration with the

More information

Object-oriented Conceptual Analysis of Law

Object-oriented Conceptual Analysis of Law Object-oriented Jagiellonian University, Kraków, Poland (May 30, 2012) KM Lecturer KM Research Fellow, Institute of and Technology, MU - International Conference on Alternative Methods of Argumentation

More information

Catholijn M. Jonker and Jan Treur Vrije Universiteit Amsterdam, Department of Artificial Intelligence, Amsterdam, The Netherlands

Catholijn M. Jonker and Jan Treur Vrije Universiteit Amsterdam, Department of Artificial Intelligence, Amsterdam, The Netherlands INTELLIGENT AGENTS Catholijn M. Jonker and Jan Treur Vrije Universiteit Amsterdam, Department of Artificial Intelligence, Amsterdam, The Netherlands Keywords: Intelligent agent, Website, Electronic Commerce

More information

Evaluation of a Digital Library System

Evaluation of a Digital Library System Evaluation of a Digital Library System Maristella Agosti, Giorgio Maria Di Nunzio, and Nicola Ferro Department of Information Engineering University of Padua {agosti,dinunzio,nf76}@dei.unipd.it Abstract.

More information

2005, Cambridge University Press

2005, Cambridge University Press The Knowledge Engineering Review, Vol. 19:3, 275 279. Printed in the United Kingdom 2005, Cambridge University Press Book Review Bayesian Artificial Intelligence by Kevin B. Korb and Ann E. Nicholson,

More information

ARGUMENTATION MINING

ARGUMENTATION MINING ARGUMENTATION MINING Marie-Francine Moens joint work with Raquel Mochales Palau and Parisa Kordjamshidi Language Intelligence and Information Retrieval Department of Computer Science KU Leuven, Belgium

More information

- Date of Birth: 10 June Place of Birth: Amsterdam, The Netherlands - Gender: Male - Nationality: The Netherlands

- Date of Birth: 10 June Place of Birth: Amsterdam, The Netherlands - Gender: Male - Nationality: The Netherlands Dave de Jonge Curriculum Vitae d.dejonge@westernsydney.edu.au http://staff.scem.westernsydney.edu.au/ dave Present Personal Information - Date of Birth: 10 June 1984 - Place of Birth: Amsterdam, The Netherlands

More information

Annotated Bibliography: Artificial Intelligence (AI) in Organizing Information By Sara Shupe, Emporia State University, LI 804

Annotated Bibliography: Artificial Intelligence (AI) in Organizing Information By Sara Shupe, Emporia State University, LI 804 Annotated Bibliography: Artificial Intelligence (AI) in Organizing Information By Sara Shupe, Emporia State University, LI 804 Introducing Artificial Intelligence Boden, M.A. (Ed.). (1996). Artificial

More information

A Short Survey of Discourse Representation Models

A Short Survey of Discourse Representation Models A Short Survey of Discourse Representation Models Tudor Groza, Siegfried Handschuh, Tim Clark, Simon Buckingham Shum and Anita de Waard Semantic Web Applications in Scientific Discourse Workshop @ ISWC

More information

Design of intelligent surveillance systems: a game theoretic case. Nicola Basilico Department of Computer Science University of Milan

Design of intelligent surveillance systems: a game theoretic case. Nicola Basilico Department of Computer Science University of Milan Design of intelligent surveillance systems: a game theoretic case Nicola Basilico Department of Computer Science University of Milan Outline Introduction to Game Theory and solution concepts Game definition

More information

Today. Types of Game. Games and Search 1/18/2010. COMP210: Artificial Intelligence. Lecture 10. Game playing

Today. Types of Game. Games and Search 1/18/2010. COMP210: Artificial Intelligence. Lecture 10. Game playing COMP10: Artificial Intelligence Lecture 10. Game playing Trevor Bench-Capon Room 15, Ashton Building Today We will look at how search can be applied to playing games Types of Games Perfect play minimax

More information

COMP219: COMP219: Artificial Intelligence Artificial Intelligence Dr. Annabel Latham Lecture 12: Game Playing Overview Games and Search

COMP219: COMP219: Artificial Intelligence Artificial Intelligence Dr. Annabel Latham Lecture 12: Game Playing Overview Games and Search COMP19: Artificial Intelligence COMP19: Artificial Intelligence Dr. Annabel Latham Room.05 Ashton Building Department of Computer Science University of Liverpool Lecture 1: Game Playing 1 Overview Last

More information

Lecture Notes in Artificial Intelligence 2922

Lecture Notes in Artificial Intelligence 2922 Lecture Notes in Artificial Intelligence 2922 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Frank

More information

Philosophy. AI Slides (5e) c Lin

Philosophy. AI Slides (5e) c Lin Philosophy 15 AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15 1 15 Philosophy 15.1 AI philosophy 15.2 Weak AI 15.3 Strong AI 15.4 Ethics 15.5 The future of AI AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15

More information

UFO Unified Foundational Ontology

UFO Unified Foundational Ontology UFO Unified Foundational Ontology Giancarlo Guizzardi Ontology and Conceptual Modeling Research Group (NEMO) Federal University of Espirito Santo, Brazil What is Real? KF: Part of the problem here is

More information

Using Variability Modeling Principles to Capture Architectural Knowledge

Using Variability Modeling Principles to Capture Architectural Knowledge Using Variability Modeling Principles to Capture Architectural Knowledge Marco Sinnema University of Groningen PO Box 800 9700 AV Groningen The Netherlands +31503637125 m.sinnema@rug.nl Jan Salvador van

More information

Lecture Notes in Artificial Intelligence 4946

Lecture Notes in Artificial Intelligence 4946 Lecture Notes in Artificial Intelligence 4946 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Argumentation in Multi-Agent Systems 4th International Workshop,

More information

arxiv: v1 [cs.ai] 20 Feb 2015

arxiv: v1 [cs.ai] 20 Feb 2015 Automated Reasoning for Robot Ethics Ulrich Furbach 1, Claudia Schon 1 and Frieder Stolzenburg 2 1 Universität Koblenz-Landau, {uli,schon}@uni-koblenz.de 2 Harz University of Applied Sciences, fstolzenburg@hs-harz.de

More information

SENG609.22: Agent-Based Software Engineering Assignment. Agent-Oriented Engineering Survey

SENG609.22: Agent-Based Software Engineering Assignment. Agent-Oriented Engineering Survey SENG609.22: Agent-Based Software Engineering Assignment Agent-Oriented Engineering Survey By: Allen Chi Date:20 th December 2002 Course Instructor: Dr. Behrouz H. Far 1 0. Abstract Agent-Oriented Software

More information

ANALYSING DESIGN PROTOCOLS: DEVELOPMENT OF METHODS AND TOOLS

ANALYSING DESIGN PROTOCOLS: DEVELOPMENT OF METHODS AND TOOLS ANALYSING DESIGN PROTOCOLS: DEVELOPMENT OF METHODS AND TOOLS John S Gero Krasnow Institute for Advanced Study, Fairfax, VA, USA Email: john@johngero.com Jeff WT Kan Taylor s University, Subang Jaya, Malaysia

More information

Differences between digital learning and paper learning

Differences between digital learning and paper learning Differences between digital learning and paper learning André Tricot Toulouse School of Education Work and Cognition Lab. Learning, Motivation, Metacognition group What changes with digital learning? Much

More information

COMP219: Artificial Intelligence. Lecture 17: Semantic Networks

COMP219: Artificial Intelligence. Lecture 17: Semantic Networks COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects:

More information

A Unified Model for Physical and Social Environments

A Unified Model for Physical and Social Environments A Unified Model for Physical and Social Environments José-Antonio Báez-Barranco, Tiberiu Stratulat, and Jacques Ferber LIRMM 161 rue Ada, 34392 Montpellier Cedex 5, France {baez,stratulat,ferber}@lirmm.fr

More information

CSCE 315: Programming Studio

CSCE 315: Programming Studio CSCE 315: Programming Studio Introduction to Artificial Intelligence Textbook Definitions Thinking like humans What is Intelligence Acting like humans Thinking rationally Acting rationally However, it

More information

Faculty Details proforma

Faculty Details proforma Faculty Details proforma Title Dr. First Name NAVEEN Designation KUMAR Associate Professor Address 94 D, Pocket B, Dilshad Garden, Delhi - 110095 Last Name JAIN Photograph Phone No Office 23233420 Residence

More information

Software Agent Technology. Introduction to Technology. Introduction to Technology. Introduction to Technology. What is an Agent?

Software Agent Technology. Introduction to Technology. Introduction to Technology. Introduction to Technology. What is an Agent? Software Agent Technology Copyright 2004 by OSCu Heimo Laamanen 1 02.02.2004 2 What is an Agent? Attributes 02.02.2004 3 02.02.2004 4 Environment of Software agents 02.02.2004 5 02.02.2004 6 Platform A

More information

Unit 12: Artificial Intelligence CS 101, Fall 2018

Unit 12: Artificial Intelligence CS 101, Fall 2018 Unit 12: Artificial Intelligence CS 101, Fall 2018 Learning Objectives After completing this unit, you should be able to: Explain the difference between procedural and declarative knowledge. Describe the

More information

SeaFish: A Game for Collaborative and Visual Image Annotation and Interlinking

SeaFish: A Game for Collaborative and Visual Image Annotation and Interlinking SeaFish: A Game for Collaborative and Visual Image Annotation and Interlinking Stefan Thaler 1, Katharina Siorpaes 1,DavidMear 3, Elena Simperl 1,2, and Carl Goodman 3 1 University of Innsbruck, STI-Innsbruck,

More information

Mixing Polyedra and Boxes Abstract Domain for Constraint Solving

Mixing Polyedra and Boxes Abstract Domain for Constraint Solving Mixing Polyedra and Boxes Abstract Domain for Constraint Solving Marie Pelleau 1,2 Emmanuel Rauzy 1 Ghiles Ziat 2 Charlotte Truchet 3 Antoine Miné 2 1. École Normale Supérieure, France 2. Université Pierre

More information

Chess Skill in Man and Machine

Chess Skill in Man and Machine Chess Skill in Man and Machine Chess Skill in Man and Machine Edited by Peter W. Frey With 104 Illustrations Springer-Verlag New York Berlin Heidelberg Tokyo Peter W. Frey Northwestern University CRESAP

More information

How to Enrich Description Logics with Fuzziness

How to Enrich Description Logics with Fuzziness How to Enrich Description Logics with Fuzziness Martin Unold Christophe Cruz SAI Computing Conference London 18.07.2017 Martin Unold Outline Description Logics (DL) in Artificial Intelligence (AI) Description

More information

Appendices master s degree programme Artificial Intelligence

Appendices master s degree programme Artificial Intelligence Appendices master s degree programme Artificial Intelligence 2015-2016 Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability

More information

Challenges In Context

Challenges In Context Challenges In Context Stewart Fallis 2, Ian Millard 1, David De Roure 1 Kevin Page 1 1 Intelligence, Agents, Multimedia Group University of Southampton http://www.iam.ecs.soton.ac.uk/ 2 Mobility Centre

More information

The magmaoffenburg 2013 RoboCup 3D Simulation Team

The magmaoffenburg 2013 RoboCup 3D Simulation Team The magmaoffenburg 2013 RoboCup 3D Simulation Team Klaus Dorer, Stefan Glaser 1 Hochschule Offenburg, Elektrotechnik-Informationstechnik, Germany Abstract. This paper describes the magmaoffenburg 3D simulation

More information

Introduction to cognitive science Session 3: Cognitivism

Introduction to cognitive science Session 3: Cognitivism Introduction to cognitive science Session 3: Cognitivism Martin Takáč Centre for cognitive science DAI FMFI Comenius University in Bratislava Príprava štúdia matematiky a informatiky na FMFI UK v anglickom

More information

Artificial Intelligence: An overview

Artificial Intelligence: An overview Artificial Intelligence: An overview Thomas Trappenberg January 4, 2009 Based on the slides provided by Russell and Norvig, Chapter 1 & 2 What is AI? Systems that think like humans Systems that act like

More information

Appendices master s degree programme Human Machine Communication

Appendices master s degree programme Human Machine Communication Appendices master s degree programme Human Machine Communication 2015-2016 Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability

More information

Software Agent Reusability Mechanism at Application Level

Software Agent Reusability Mechanism at Application Level Global Journal of Computer Science and Technology Software & Data Engineering Volume 13 Issue 3 Version 1.0 Year 2013 Type: Double Blind Peer Reviewed International Research Journal Publisher: Global Journals

More information

COMP219: Artificial Intelligence. Lecture 17: Semantic Networks

COMP219: Artificial Intelligence. Lecture 17: Semantic Networks COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects:

More information

Master Artificial Intelligence

Master Artificial Intelligence Master Artificial Intelligence Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability to evaluate, analyze and interpret relevant

More information

TERECOM Proceedings of the JURIX st Workshop on Technologies for Regulatory Compliance. Luxembourg, December 13 th 2017

TERECOM Proceedings of the JURIX st Workshop on Technologies for Regulatory Compliance. Luxembourg, December 13 th 2017 TERECOM 2017 Regulatory and Legal Compliance Proceedings of the JURIX 2017 1st Workshop on Technologies for Regulatory Compliance Luxembourg, December 13 th 2017 Víctor Rodríguez-Doncel, Pompeu Casanovas,

More information

Requirements Engineering Through Viewpoints

Requirements Engineering Through Viewpoints Requirements Engineering Through Viewpoints Anthony Finkelstein, Steve Easterbrook 1, Jeff Kramer & Bashar Nuseibeh Imperial College Department of Computing 180 Queen s Gate, London SW7 2BZ acwf@doc.ic.ac.uk

More information

Automated Negotiation

Automated Negotiation Automated Negotiation N. R. Jennings 1, S. Parsons 2, C. Sierra 3 and P. Faratin 4 1 Dept. of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, UK. nrj@ecs.soton.ac.uk

More information