On Probabilistic Logical Argumentation. | 0 | 0.34 | 2021 |
The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE) | 1 | 0.38 | 2021 |
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. | 1 | 0.35 | 2019 |
Style Painting Classifier Based on Horn Clauses and Explanations (SHE). | 0 | 0.34 | 2018 |
Fuzzy Positive Primitive Formulas. | 0 | 0.34 | 2018 |
Back-and-forth systems for fuzzy first-order models. | 3 | 0.41 | 2018 |
Term Models of Horn Clauses over Rational Pavelka Predicate Logic | 0 | 0.34 | 2017 |
On the existence of free models in fuzzy universal Horn classes. | 2 | 0.39 | 2017 |
Persuadee Modelling in Computational Argumentation in Marketing. | 0 | 0.34 | 2017 |
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. | 5 | 0.46 | 2016 |
On similarity in fuzzy description logics. | 1 | 0.37 | 2016 |
A Logical Study of Local and Global Graded Similarities | 1 | 0.35 | 2015 |
On Free Models for Horn Clauses over Predicate Fuzzy Logics. | 1 | 0.36 | 2015 |
Applications of ultraproducts: from compactness to fuzzy elementary classes. | 1 | 0.35 | 2014 |
Local and Global Similarities in Fuzzy Class Theory. | 0 | 0.34 | 2014 |
On elementary equivalence in fuzzy predicate logics | 5 | 0.48 | 2013 |
Preserving mappings in fuzzy predicate logics | 10 | 0.65 | 2012 |
Towards a Fuzzy Extension of the López de Mántaras Distance. | 1 | 0.36 | 2012 |
Revisiting Ultraproducts in Fuzzy Predicate Logics | 1 | 0.36 | 2012 |
Reputation-based decisions for logic-based cognitive agents | 16 | 0.81 | 2012 |
A defeasible reasoning model of inductive concept learning from examples and communication | 6 | 0.43 | 2012 |
Cooperative dialogues for defeasible argumentation-based planning | 0 | 0.34 | 2011 |
Extending possibilistic logic over Gödel logic | 5 | 0.50 | 2011 |
Lazy Learning Methods for Quality of Life Assessment in People with Intellectual Disabilities. | 0 | 0.34 | 2011 |
Argumentation-based Negotiation in t-DeLP-POP. | 1 | 0.35 | 2011 |
Multiagent argumentation for cooperative planning in DeLP-POP | 12 | 0.66 | 2011 |
Towards a Logical Model of Induction from Examples and Communication | 2 | 0.43 | 2010 |
On Elementary Extensions in Fuzzy Predicate Logics | 1 | 0.37 | 2010 |
Deductive coherence and norm adoption | 13 | 1.01 | 2010 |
Similarity for Attribute-value Representations in Fuzzy Description Logics | 1 | 0.37 | 2010 |
Secure and Optimal Base Contraction in Graded Lukasiewicz Logics | 0 | 0.34 | 2009 |
Base belief change for finitary monotonic logics | 0 | 0.34 | 2009 |
On Reduced Semantics For Fuzzy Predicate Logics | 2 | 0.46 | 2009 |
Exploring Extensions of Possibilistic Logic over Gödel Logic | 2 | 0.41 | 2009 |
Formalizing Deductive Coherence: An Application to Norm Evaluation | 4 | 0.46 | 2008 |
Introducing Grades in Deontic Logics | 8 | 0.53 | 2008 |
Probabilistic Dynamic Belief Logic for Image and Reputation | 3 | 0.44 | 2008 |
On the multimodal logic of normative systems | 0 | 0.34 | 2007 |
On the Multimodal Logic of Elementary Normative Systems | 0 | 0.34 | 2007 |
The theory of modules of separably closed fields 2 | 3 | 0.91 | 2004 |
Equality-free Saturated Models | 1 | 0.38 | 2003 |
The Theory of Modules of Separably Closed Fields 1 | 3 | 0.78 | 2002 |
On Definability of the Equality in Classes of Algebras with an Equivalence Relation | 2 | 0.42 | 2000 |
Equality-free Logic: The Method of Diagrams and Preservation Theorems | 7 | 0.67 | 1999 |
Some Characterization Theorems For Infinitary Universal Horn Logic Without Equality | 16 | 1.65 | 1996 |
On Elementary Equivalence for Equality-free Logic | 15 | 1.29 | 1996 |