All Stories

  1. Cyberculture, symbiosis, and syncretism
  2. Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya
  3. Evolution of commitment and level of participation in public goods games
  4. Logic programming for modeling morality
  5. Turing, Functionalism, and Emergence
  6. The Individual Realm of Machine Ethics: A Survey
  7. Significant Moral Facets Amenable to Logic Programming
  8. Representing Morality in Logic Programming
  9. Tabling in Abduction and Updating
  10. Counterfactuals in Logic Programming
  11. Logic Programming Systems Affording Morality Experiments
  12. Modeling Morality Using Logic Programming
  13. Modeling Collective Morality via Evolutionary Game Theory
  14. Bridging Two Realms of Machine Ethics
  15. Conclusions and Further Work
  16. Counterfactuals in Critical Thinking with Application to Morality
  17. Emergence of cooperation via intention recognition, commitment and apology – A research summary
  18. Apology and forgiveness evolve to resolve failures in cooperative agreements
  19. Synergy between intention recognition and commitments in cooperation dilemmas
  20. Logic Programming Applied to Machine Ethics
  21. The Potential of Logic Programming as a Computational Tool to Model Morality
  22. Computo logo Simbolizo
  23. Contextual Abductive Reasoning with Side-Effects
  24. Towards Modeling Morality Computationally with Logic Programming
  25. Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction
  26. Good Agreements Make Good Friends
  27. Complex Systems of Mindful Entities: On Intention Recognition and Commitment
  28. INSPECTING AND PREFERRING ABDUCTIVE MODELS
  29. Program Updating by Incremental and Answer Subsumption Tabling
  30. Towards Practical Tabled Abduction in Logic Programs
  31. Incremental Tabling for Query-Driven Propagation of Logic Program Updates
  32. Corpus-Based Intention Recognition in Cooperation Dilemmas
  33. Intention recognition, commitment and the evolution of cooperation
  34. Evolutionary Tolerance
  35. Moral Reasoning under Uncertainty
  36. Method for Intelligent Representation of Research Activities of an Organization over a Taxonomy of Its Field
  37. Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology
  38. Intention recognition promotes the emergence of cooperation
  39. Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
  40. Modeling Morality with Prospective Logic
  41. Intention-Based Decision Making with Evolution Prospection
  42. Adaptive Reasoning for Cooperative Agents
  43. Elder Care via Intention Recognition and Evolution Prospection
  44. Inspecting Side-Effects of Abduction in Logic Programs
  45. Stabel Model Implementation of Layer Supported Models by Program Transformation
  46. Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents
  47. Intention Recognition with Evolution Prospection and Causal Bayes Networks
  48. Modelling decision making with probabilistic causation
  49. Prospective Storytelling Agents
  50. A Hybrid Cluster-Lift Method for the Analysis of Research Activities
  51. Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy
  52. Cluster-Lift Method for Mapping Research Activities over a Concept Tree
  53. Evolution prospection in decision making
  54. Prospective logic agents
  55. Evolving towards an evolutionary epistemology
  56. Modelling morality with prospective logic
  57. Side-Effect Inspection for Decision Making
  58. Evolution Prospection
  59. Modelling Probabilistic Causation in Decision Making
  60. Layer Supported Models of Logic Programs
  61. Intention Recognition via Causal Bayes Networks Plus Plan Generation
  62. Incremental Answer Completion in the SLG-WAM
  63. Methodological naturalism and epistemic internalism
  64. On Preferring and Inspecting Abductive Models
  65. Layered Models Top-Down Querying of Normal Logic Programs
  66. Introduction
  67. Preferential theory revision
  68. A Logic-Based Approach to Model Supervisory Control Systems
  69. Emergence of Cooperation Through Mutual Preference Revision
  70. An encompassing framework for Paraconsistent Logic Programs
  71. Preference Revision Via Declarative Debugging
  72. Revised Stable Models – A Semantics for Logic Programs
  73. Inferring Definite-Clause Grammars to Express Multivariate Time Series
  74. A Well-Founded Semantics with Disjunction
  75. Common-sense reasoning as proto-scientific agent activity
  76. Epistemology and artificial intelligence
  77. Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications
  78. Abduction in well-founded semantics and generalized stable models via tabled dual programs
  79. Abductive Validation of a Power-Grid Expert System Diagnoser
  80. Belief revision via Lamarckian evolution
  81. Preferring and Updating in Logic-Based Agents
  82. An Architecture for a Rational Reactive Agent
  83. Semantic Web Logic Programming Tools
  84. An Evolvable Rule-Based E-mail Agent
  85. Logic Programming for Evolving Agents
  86. A Logical Framework for Modelling eMAS
  87. A Language for Multi-dimensional Updates
  88. A Logic Based Asynchronous Multi-Agent System
  89. LUPS—A language for updating logic programs
  90. Paraconsistent Logic Programs
  91. A Compilation of Updates plus Preferences
  92. Evolving Logic Programs
  93. Logic Programming Updating - A Guided Approach
  94. Philosophical incidence of logic programming
  95. $$ \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} $$- A Dynamic Logic Programming Agent Architecture
  96. A Portrait of a Scientist as a Computational Logician
  97. Preferring and updating in abductive multi-agent systems
  98. Monotonic and Residuated Logic Programs
  99. Enabling Agents to Update Their Knowledge and to Prefer
  100. Evolving Multi-agent Viewpoints — An Architecture
  101. On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents’ Viewpoints
  102. Antitonic Logic Programs
  103. Multi-dimensional Dynamic Knowledge Representation
  104. Logics in Artificial Intelligence
  105. Partial Models of Extended Generalized Logic Programs
  106. Hybrid Probabilistic Logic Programs as Residuated Logic Programs
  107. Updates plus Preferences
  108. Computational Logic — CL 2000
  109. Psychiatric Diagnosis from the Viewpoint of Computational Logic
  110. Dynamic Knowledge Representation and Its Applications
  111. LUPS — A Language for Updating Logic Programs
  112. Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
  113. Logic Programming and Knowledge Representation
  114. A Survey of Paraconsistent Semantics for Logic Programs
  115. Refining action theories through abductive logic programming
  116. Generalizing updates: From models to programs
  117. The Logical Impingement of Artifical Intelligence
  118. Non-Monotonic Extensions of Logic Programming
  119. A paraconsistent semantics with contradiction support detection
  120. REVISE: Logic programming and diagnosis
  121. Update-programms can update programs
  122. Reasoning about actions with abductive logic programming
  123. Knowledge-based situated agents among us a preliminary report
  124. Knowledge assimilation in domains of actions: a possible causes approach
  125. A deliberative and reactive diagnosis agent based on logic programming
  126. Prolegomena to logic programming for non-monotonic reasoning
  127. Reasoning with Logic Programming
  128. Logics in Artificial Intelligence
  129. Default negated conclusions: Why not?
  130. Strong and explicit negation in non-monotonic reasoning and logic programming
  131. Editorial
  132. Non-atomic actions in the situation calculus
  133. Belief revision in non-monotonic reasoning
  134. A model theory for paraconsistent logic programming
  135. Abduction over 3-valued extended logic programs
  136. Belief, provability, and logic programs
  137. An argumentation theoretic semantics based on non-refutable falsity
  138. Non-Monotonic Extensions of Logic Programming
  139. A logic programming system for nonmonotonic reasoning
  140. Logics in Artificial Intelligence
  141. Design for AKL with intelligent pruning
  142. Contradiction: When avoidance equals removal Part I
  143. Contradiction: When avoidance equals removal Part II
  144. REVISE: An Extended Logic Programming System for Revising Knowledge Bases
  145. Contradiction removal semantics with explicit negation
  146. Logic programming for non-monotonic reasoning
  147. Adding closed world assumptions to well-founded semantics
  148. Non-monotonic reasoning with logic programming
  149. SLWV — A theorem prover for logic programming
  150. Debugging by diagnosing assumptions
  151. Diagnosis and debugging as contradiction removal in logic programs
  152. EPIA 91
  153. Declarative source debugging
  154. The extended stable models of contradiction removal semantics
  155. Relevant counterfactuals
  156. Algorithmic debugging of prolog side-effects
  157. Automated reasoning in geometry theorem proving with Prolog
  158. Rational debugging in logic programming
  159. Delta Prolog: A distributed backtracking extension with events
  160. Selective backtracking for logic programs
  161. Prolog - the language and its implementation compared with Lisp
  162. Prolog - the language and its implementation compared with Lisp
  163. Prolog - the language and its implementation compared with Lisp
  164. Gödel and Computability
  165. Prospective Logic Agents
  166. Belief, provability, and logic programs
  167. Coherent Well-founded Annotated Logic Programs
  168. Modelling Morality with Prospective Logic
  169. Approved Models for Normal Logic Programs
  170. Collaborative vs. Conflicting Learning, Evolution and Argumentation
  171. Intention-Based Decision Making via Intention Recognition and its Applications
  172. Default theory for Well Founded Semantics with explicit negation
  173. User Preference Information in Query Answering
  174. Bridging Two Realms of Machine Ethics
  175. The Emergence of Artificial Autonomy