On the Design of Agent-Based Systems using UML and Extensions
On the evolution of the instance level of DL-lite knowledge bases
On the existence and multiplicity of extensions in dialectical argumentation
On the existence of stable models of non-stratified logic programs
On the Expressibility of Stable Logic Programming
On the expressive power of unit resolution
On the Failure of the Finite Model Property in some Fuzzy Description Logics
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
On the Implicit and on the Artificial - Morphogenesis and Emergent Aesthetics in Autonomous Collective Systems
On the influence of intelligence in (social) intelligence testing environments
On the Influence of Selection Operators on Performances in Cellular Genetic Algorithms
On the Notion of Cognition
On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
On the relationship between fuzzy logic and four-valued relevance logic
On the semantics of merging
On the size of data structures used in symbolic model checking
On the tractable counting of theory models and its application to belief revision and truth maintenance
On the Use of Non-Stationary Policies for Infinite-Horizon Discounted Markov Decision Processes
On the use of reference points for the biobjective Inventory Routing Problem