Bibliography of Popov v Hayashi in AI and Law
|
|
- Baldwin Harrell
- 5 years ago
- Views:
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 Adam WYNER 1, Maya WARDEH, Trevor BENCH-CAPON and Katie ATKINSON Department of Computer Science, University of Liverpool, UK Abstract. Domain models
More informationA 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 informationIntroducing 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 informationINFORMATION 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 informationCollective 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 informationComments 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 informationAn 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 informationWorkshop 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 informationHenry 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 informationDetecticon: 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 informationHuman-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 informationAutomatic 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 informationCLIME: 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 informationSession 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 informationAI 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 informationA 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 informationCommunication: 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 informationMeet 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 informationCOMP219: 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 informationTHE 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 informationAutonomous 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 informationTowards 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 informationOntologies 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 informationMy 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 informationCOMPUTATIONAL 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 informationGameplay 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 informationInterpretation 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 informationDistinguishing 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 informationArtificial 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 informationACHIEVEMENT 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 informationA 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 informationIdeas, 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 informationDesigning 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 informationRequirements 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 informationStructured 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 informationDesign 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 informationModeling 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 informationThe 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 informationThe 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 informationA 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 informationOn 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 informationFormalising 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 informationAnalysing 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 informationIntroduction 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 informationAnkur 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 informationA 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 informationAI 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 informationLecture 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 informationRandom 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 informationAOSE 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 informationIntroduction 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 informationThe 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 informationUsing 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 informationCybernetics, 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 informationJournal 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 informationStrategic 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 informationPAPER. 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 informationDepartment 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 informationObject-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 informationCatholijn 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 informationEvaluation 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 information2005, 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 informationARGUMENTATION 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
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 informationAnnotated 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 informationA 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 informationDesign 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 informationToday. 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 informationCOMP219: 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 informationLecture 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 informationPhilosophy. 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 informationUFO 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 informationUsing 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 informationLecture 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 informationarxiv: 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 informationSENG609.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 informationANALYSING 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 informationDifferences 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 informationCOMP219: 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 informationA 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 informationCSCE 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 informationFaculty 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 informationSoftware 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 informationUnit 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 informationSeaFish: 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 informationMixing 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 informationChess 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 informationHow 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 informationAppendices 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 informationChallenges 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 informationThe 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 informationIntroduction 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 informationArtificial 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 informationAppendices 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 informationSoftware 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 informationCOMP219: 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 informationMaster 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 informationTERECOM 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 informationRequirements 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 informationAutomated 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