Search
Search Results
-
Dual embeddings and metrics for word and relational similarity
Word embedding models excel in measuring word similarity and completing analogies. Word embeddings based on different notions of context trade off...
-
On generalization in moment-based domain adaptation
Domain adaptation algorithms are designed to minimize the misclassification risk of a discriminative model for a target domain with little training...
-
Structured argumentation dynamics
This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and...
-
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains
We study preference representation models based on partial lexicographic preference trees (PLP-trees). We propose to represent preference relations...
-
What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
The architecture described in this paper encodes a theory of intentions based on the key principles of non-procrastination, persistence, and...
-
Restricted semantics for default reasoning
In nonmonotonic reasoning there are the problems of inconsistency and incoherence in general, and in default reasoning there may be only one trivial...
-
Knowledge representation analysis of graph mining
This paper analyses the graph mining problem, and the frequent pattern mining task associated with it. In general, frequent pattern mining looks for...
-
Changing channels: divergent approaches to the creative streaming of texts
Text is an especially malleable medium for human and machine creativity. When guided by the appropriate symbolic and/or statistical models, even a...
-
Probability, coherent belief and coherent belief changes
This paper is about the statics and dynamics of belief states that are represented by pairs consisting of an agent’s credences (represented by a...
-
Multi-context systems in dynamic environments
Multi-Context Systems (MCSs) are able to formally model, in Computational Logic, distributed systems composed of heterogeneous sources, or...
-
Minimal bases of temporal attribute implications
We deal with dependencies in object-attribute data which is recorded at separate points in time. The data is formalized by finitely many tables...
-
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
While the axiomatic system P is an important standard for plausible, nonmonotonic inferences from conditional knowledge bases, it is known to be too...
-
Discovering state constraints for planning with conditional effects in Discoplan (part I)
Discoplan is a durable and efficient system for inferring state constraints (invariants) in planning domains, specified in the PDDL language. It is...
-
Knowledge transfer in SVM and neural networks
The paper considers general machine learning models, where knowledge transfer is positioned as the main method to improve their convergence...
-
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
This article deals with the combination of ontologies and rules by means of existential rules and answer set programming. Existential rules have been...
-
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
This paper deals with solving cooperative path finding (CPF) problems in a makespan-optimal way. A feasible solution to the CPF problem lies in the...
-
Tableau reasoning for description logics and its extension to probabilities
The increasing popularity of the Semantic Web drove to a widespread adoption of Description Logics (DLs) for modeling real world domains. To help the...
-
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
The concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In the Datalog ± literature, however, this...
-
Logic of temporal attribute implications
We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in...