Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings /
Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences.
Main Authors: | , , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2000
|
Subjects: | Computer science., Computer programming., Programming languages (Electronic computers)., Mathematical logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Programming Languages, Compilers, Interpreters., Mathematical Logic and Formal Languages., Programming Techniques., |
Online Access: | http://dx.doi.org/10.1007/3-540-40006-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:173591 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1735912018-07-30T22:51:15ZLogics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / Ojeda-Aciego, Manuel. editor. Guzmán, Inma P. de. editor. Brewka, Gerhard. editor. Pereira, Luís Moniz. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2000.engInvited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences.Computer science.Computer programming.Programming languages (Electronic computers).Mathematical logic.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Programming Techniques.Springer eBookshttp://dx.doi.org/10.1007/3-540-40006-0URN:ISBN:9783540400066 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. Computer science. Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. |
spellingShingle |
Computer science. Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. Computer science. Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. Ojeda-Aciego, Manuel. editor. Guzmán, Inma P. de. editor. Brewka, Gerhard. editor. Pereira, Luís Moniz. editor. SpringerLink (Online service) Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
description |
Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. |
format |
Texto |
topic_facet |
Computer science. Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. |
author |
Ojeda-Aciego, Manuel. editor. Guzmán, Inma P. de. editor. Brewka, Gerhard. editor. Pereira, Luís Moniz. editor. SpringerLink (Online service) |
author_facet |
Ojeda-Aciego, Manuel. editor. Guzmán, Inma P. de. editor. Brewka, Gerhard. editor. Pereira, Luís Moniz. editor. SpringerLink (Online service) |
author_sort |
Ojeda-Aciego, Manuel. editor. |
title |
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
title_short |
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
title_full |
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
title_fullStr |
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
title_full_unstemmed |
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / |
title_sort |
logics in artificial intelligence [electronic resource] : european workshop, jelia 2000 málaga, spain, september 29 – october 2, 2000 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
2000 |
url |
http://dx.doi.org/10.1007/3-540-40006-0 |
work_keys_str_mv |
AT ojedaaciegomanueleditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia2000malagaspainseptember29october22000proceedings AT guzmaninmapdeeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia2000malagaspainseptember29october22000proceedings AT brewkagerhardeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia2000malagaspainseptember29october22000proceedings AT pereiraluismonizeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia2000malagaspainseptember29october22000proceedings AT springerlinkonlineservice logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia2000malagaspainseptember29october22000proceedings |
_version_ |
1756263746933620736 |