Search

Your search keyword '"del Cerro, Luis Fariñas"' showing total 166 results

Search Constraints

Start Over You searched for: Author "del Cerro, Luis Fariñas" Remove constraint Author: "del Cerro, Luis Fariñas"
166 results on '"del Cerro, Luis Fariñas"'

Search Results

51. Unsupervised Learning and Clustering.

52. Introduction to Bayesian Methods and Decision Theory.

60. Information About a Given Entity: From Semantics Towards Automated Deduction.

63. Tractability Results in the Block Algebra.

64. A Modal Herbrand's Property.

69. Knowledge Means ‘All’, Belief Means ‘Most’

70. DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas

71. OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver

72. Generalized DEL-Sequents

73. The Tableau Prover Generator MetTeL2

74. The Multi-Engine ASP Solver me-asp

75. A System for the Use of Answer Set Programming in Reinforcement Learning

76. PTL: A Propositional Typicality Logic

77. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

78. Nested Sequent Calculi for Conditional Logics

79. Conditional Epistemic Planning

80. Qualitative Approximate Behavior Composition

81. Jumping to Conclusions : A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments

82. Conflict-Tolerant Semantics for Argumentation Frameworks

83. A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information

84. Deciding the Bisimilarity Relation between Datalog Goals

85. On Satisfiability in ATL with Strategy Contexts

86. Beyond Maxi-Consistent Argumentation Operators

87. Three-Valued Logics for Incomplete Information and Epistemic Logic

88. Exploiting Unfounded Sets for HEX-Program Evaluation

89. Reasoning about Agent Programs Using ATL-Like Logics

90. On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

91. A Unifying Perspective on Knowledge Updates

92. Verifying Brahms Human-Robot Teamwork Models

93. Building an Epistemic Logic for Argumentation

94. A Framework for Semantic-Based Similarity Measures for -Concepts

95. Minimal Proof Search for Modal Logic K Model Checking

96. Relevant Minimal Change in Belief Update

97. Sequent Systems for Lewis’ Conditional Logics

98. Belief Base Change Operations for Answer Set Programming

99. Fault Tolerance in Belief Formation Networks

100. A Selective Semantics for Logic Programs with Preferences

Catalog

Books, media, physical & digital resources