反馈文件质量
lgli/Cs_Computer science/CsLn_Lecture notes/L/Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga(LNCS1919, Springer, 2000)(ISBN 3540411313)(431s).pdf
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings 🔍
Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science 1919 : Lecture Notes in Artificial Intelligence, 1, 2000
英语 [en] · PDF · 5.3MB · 2000 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save
描述
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.
备用文件名
lgrsnf/Cs_Computer science/CsLn_Lecture notes/L/Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga(LNCS1919, Springer, 2000)(ISBN 3540411313)(431s).pdf
备用文件名
nexusstc/Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings/66bc1cf5f83f27c1179d356a0558677b.pdf
备用文件名
scihub/10.1007/978-3-540-40006-6.pdf
备用文件名
zlib/Computers/Artificial Intelligence (AI)/Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)/Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings_613480.pdf
备选标题
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science (1919))
备选作者
Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira
备用出版商
Springer Berlin Heidelberg : Imprint : Springer
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Springer Nature
备用版本
Lecture Notes in Computer Science, Lecture Notes in Computer Science 1919, 1, 2000
备用版本
Lecture notes in computer science, 1919, 1st ed. 2000, Berlin, Heidelberg, 2000
备用版本
Lecture notes in computer science, 1919, Berlin ; New York, 2000
备用版本
1 edition, November 10, 2000
备用版本
Germany, Germany
备用版本
1, 2000 sep 19
备用版本
2003
备用版本
2013
元数据中的注释
Kolxo3
元数据中的注释
sm22923517
元数据中的注释
{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540400060","3540411313","9783540400066","9783540411314"],"issns":["0302-9743"],"last_page":412,"publisher":"Springer","series":"Lecture Notes in Computer Science 1919"}
备用描述
‘On Being Informed’: Update Logics for Knowledge States....Pages 1-1
Considerations on Updates of Logic Programs....Pages 2-20
The Approach: Integrating Object Oriented Design and Formal Verification....Pages 21-36
Semi-qualitative Reasoning about Distances: A Preliminary Report....Pages 37-56
Reduction Theorems for Boolean Formulas Using Δ-Trees....Pages 179-192
Simultaneous Rigid Sorted Unification....Pages 193-208
Partially Adaptive Code Trees....Pages 209-223
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments....Pages 224-238
Credulous and Sceptical Argument Games for Preferred Semantics....Pages 239-253
A General Approach to Multi-agent Minimal Knowledge....Pages 254-268
A Modal Logic for Network Topologies....Pages 269-283
Avoiding Logical Omniscience by Using Subjective Situations....Pages 284-299
Hybrid Probabilistic Logic Programs as Residuated Logic Programs....Pages 57-72
Topo-distance: Measuring the Difference between Spatial Patterns....Pages 73-86
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus....Pages 87-101
Capturing Stationary and Regular Extensions with Reiter’s Extensions....Pages 102-117
Representing the Process Semantics in the Event Calculus....Pages 118-132
Declarative Formalization of Strategies for Action Selection: Applications to Planning....Pages 133-147
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases....Pages 148-162
Acceptance Without Minimality....Pages 163-178
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases....Pages 300-312
Monodic Epistemic Predicate Logic....Pages 313-328
Updates plus Preferences....Pages 329-344
A Framework for Belief Update....Pages 345-360
A Compilation of Brewka and Eiter’s Approach to Prioritization....Pages 361-375
A Logic for Modeling Decision Making with Dynamic Preferences....Pages 376-390
....Pages 391-406
备用描述
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41131-4
DOI: 10.1007/3-540-40006-0
Table of Contents:
‘On Being Informed’: Update Logics for Knowledge States
Considerations on Updates of Logic Programs
The
Semi-qualitative Reasoning about Distances: A Preliminary Report
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
备用描述
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 20.09.2000
开源日期
2010-02-05
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
如果您在本月捐款，您将获得双倍的快速下载次数。

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。