Codice:
E211129
ISSN:
1613-0073
Dati Generali
Pubblicazioni (68)
A Contextual Framework for Reasoning on Events
Contributo in Atti di convegnoA Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
Contributo in Atti di convegnoA Modular Strategy to Build a Large-Scale Functional Status Knowledge Graph
Contributo in Atti di convegnoA New Approach to Clausification for Intuitionistic Propositional Logic
Contributo in Atti di convegnoA function elimination method for checking satisfiability of arithmetical logics
Contributo in Atti di convegnoA general syntax for nonrecursive higher inductive types
Contributo in Atti di convegnoA natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
Contributo in Atti di convegnoA process calculus approach to correctness enforcement of PLCs
Contributo in Atti di convegnoA study of the correlation between functional size measures and object-oriented measures from UML requirements models
Contributo in Atti di convegnoA toothful of concepts: towards a theory of weighted concept combination
Contributo in Atti di convegnoASP Based Generation of Information Terms for Constructive EL
Contributo in Atti di convegnoAn ASP Translation for Non-Monotonic Reasoning on DL-Liteℛ with Prototype Descriptions
Contributo in Atti di convegnoAn efficient algorithm for generating symmetric ice piles
Contributo in Atti di convegnoArchitectural technical debt of multiagent systems development platforms
Contributo in Atti di convegnoBiometrics and artificial creativity
Contributo in Atti di convegnoBuilding a domain ontology from glossaries: a general methodology
Contributo in Atti di convegnoCKR:Live Demo: Representing an Evolving Scenario by Contexts and Exceptions
Contributo in Atti di convegnoCKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States
Contributo in Atti di convegnoCOVER: Change-based goal verifier and reasoner
Contributo in Atti di convegnoComplex Arguments in Adpositional Argumentation
Contributo in Atti di convegnoCompositional modeling of biological systems in cospanspan(graph)
Contributo in Atti di convegnoContextualized Knowledge Repositories with Justifiable Exceptions
Contributo in Atti di convegnoDeep convolutional Q-learning for traffic lights optimization in Smart Cities
Contributo in Atti di convegnoDefeasibility in contextual reasoning with CKR
Contributo in Atti di convegnoDefeasible Reasoning with Prototype Descriptions: A New Preference Order
Contributo in Atti di convegnoDefeasible Reasoning with Prototype Descriptions: First Steps
Contributo in Atti di convegnoDisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
Contributo in Atti di convegnoEvent Detection from Video Using Answer Set Programing
Contributo in Atti di convegnoForward proof-search and countermodel construction in intuitionistic propositional logic
Contributo in Atti di convegnoForward refutation for Gödel-Dummett Logics
Contributo in Atti di convegnoGenerics in defeasible reasoning. Exceptionality, Gradability, and Content Sensitivity
Contributo in Atti di convegnoIntegrating the Internet of Things with Business Process Management: A Process-aware Framework for Smart Objects
Contributo in Atti di convegnoIntroducing Weighted Prototypes in Description Logics for Defeasible Reasoning
Contributo in Atti di convegnoJTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
Contributo in Atti di convegnoMV-tropical polynomials and neural networks
Contributo in Atti di convegnoMaterialization Calculus for Contexts in the Semantic Web
Contributo in Atti di convegnoOn Counting L-Convex Polyominoes
Contributo in Atti di convegnoOn Counting k-Convex Polyominoes
Contributo in Atti di convegnoOn Handling Business Process Anomalies through Artifact-based Modeling
Contributo in Atti di convegnoOn fuzzy truth-values and quasi-standard completeness
Contributo in Atti di convegnoOn the generating functions of languages accepted by deterministic one-reversal counter machines
Contributo in Atti di convegnoOntologyBeanGenerator 5.0: Extending ontology concepts with methods and exceptions
Contributo in Atti di convegnoPerceptron operators that count
Contributo in Atti di convegnoPreface to the ICPM 2024 Doctoral Consortium and Demonstration Track
Capitolo di libroPreface to the Second Workshop on Artificial Intelligence for Human-Machine Interaction (AIxHMI)
Contributo in Atti di convegnoPreface to the Third Workshop on Artificial Intelligence for Human-Machine Interaction (AIxHMI)
Contributo in Atti di convegnoPrivacy-preserving Decentralized Learning of Knowledge Graph Embeddings
Contributo in Atti di convegnoProof Search and Countermodel Construction for iCK4
Contributo in Atti di convegnoREFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track
Contributo in Atti di convegnoREFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track
Contributo in Atti di convegnoReasoning on Information Term Semantics with ASP for Constructive EL_bot
Contributo in Atti di convegnoReasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)
Contributo in Atti di convegnoRepresentable AI: Towards a Unified View of Core Dimensions for a Visual Framework
Contributo in Atti di convegnoRepresentation and management of ontologies in cultural heritage domain
Contributo in Atti di convegnoRepresenting Mereological Relations in Weighted Description Logics
Contributo in Atti di convegnoSemantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
Contributo in Atti di convegnoSoftware development effort estimation using function points and simpler functional measures: a comparison
Contributo in Atti di convegnoStep-by-step Robustness for Biochemical Networks
Contributo in Atti di convegnoTeam semantics for spatial reasoning: Locality and separability
Contributo in Atti di convegnoTowards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs
Contributo in Atti di convegnoTowards More Effective Tableaux Reasoning for CKR
Contributo in Atti di convegnoTowards an algebraic approach to theory and concept evaluation
Contributo in Atti di convegnoTowards knowledge-driven distillation and explanation of black-box models
Contributo in Atti di convegnoVirtual communities as narrative processes
Contributo in Atti di convegnoNo Results Found