Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo}

Source URL: www.ida.liu.se

• Reasoning
• Epistemology
• Artificial intelligence
• Knowledge representation
• Logic programming
• Automated theorem proving
• Reason
• Frame problem
• Natural deduction
• Logic
• Mathematical logic
• Science

Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i

Source URL: www.ida.liu.se

• Epistemology
• Reasoning
• Knowledge representation
• Logic programming
• Frame problem
• Reasoning system
• Automated planning and scheduling
• Fluent
• Unmanned aerial vehicle
• Artificial intelligence
• Science
• Knowledge

Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se

Source URL: www.ida.liu.se

• Artificial intelligence
• Epistemology
• Knowledge representation
• Logic programming
• Mathematical logic
• Frame problem
• Intelligent agent
• Speech act
• Resolution
• Logic
• Science
• Knowledge

An Experimental Platform for Approximate Databases Martin Magnusson, Patrick Doherty, Andrzej Szalas Department of Computer and Information Science SE[removed]Link¨oping, Sweden email: {marma,patdo,andsz}@ida.liu.se

Source URL: www.ida.liu.se

• Data
• Relational database management systems
• Computer languages
• Data modeling
• SQL
• Relational database
• Table
• Database
• Query language
• Data management
• Database theory
• Computing

Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo

Source URL: www.ida.liu.se

• Science
• Reasoning
• Automated theorem proving
• Deduction
• Knowledge representation
• Frame problem
• Event calculus
• Circumscription
• Yale shooting problem
• Logic
• Mathematical logic
• Logic programming

Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se

Source URL: www.ep.liu.se

• Artificial intelligence
• Epistemology
• Knowledge representation
• Logic programming
• Mathematical logic
• Frame problem
• Intelligent agent
• Speech act
• Resolution
• Logic
• Science
• Knowledge

1 FICHA TÉCNICA AGENCIA DE LOS ESTADOS UNIDOS PARA EL DESARROLLO INTERNACIONAL - USAID John Beed: Director Steve Marma: CTO Programa Umbral – [removed]Alfonso Velázquez: CTO Programa Umbral – 2008

Source URL: www.mopc.gov.py

1 FICHA TÉCNICA AGENCIA DE LOS ESTADOS UNIDOS PARA EL DESARROLLO INTERNACIONAL - USAID John Beed: Director Steve Marma: CTO Programa Umbral – [removed]Alfonso Velázquez: CTO Programa Umbral – 2008

Source URL: www.mopc.gov.py

1 FICHA TÉCNICA AGENCIA DE LOS ESTADOS UNIDOS PARA EL DESARROLLO INTERNACIONAL - USAID John Beed: Director Steve Marma: CTO Programa Umbral – [removed]Alfonso Velázquez: CTO Programa Umbral – 2008

Source URL: www.mopc.gov.py

1 FICHA TÉCNICA AGENCIA DE LOS ESTADOS UNIDOS PARA EL DESARROLLO INTERNACIONAL - USAID John Beed: Director Steve Marma: CTO Programa Umbral – [removed]Alfonso Velázquez: CTO Programa Umbral – 2008

Source URL: www.mopc.gov.py