Codice:
E100305
Dati Generali
Pubblicazioni (206)
A 3D Efficient Procedure for Shepard Interpolants on Tetrahedra
Capitolo di libroA CSP Approach for Modeling the Hand Gestures of a Virtual Guitarist
Contributo in Atti di convegnoA Formal Model of the Kubernetes Container Framework
Contributo in Atti di convegnoA Genetic Programming Approach to Predict Mosquitoes Abundance
Contributo in Atti di convegnoA Logical Architecture of a Normative System
Contributo in Atti di convegnoA Methodological Contribution to Music Sequences Analysis
Contributo in Atti di convegnoA Methodological Proposal to Support Estimation of Damages from Hailstorms Based on Copernicus Sentinel 2 Data Times Series
Contributo in Atti di convegnoA Mixed-Initiative Approach to the Conciliation of Clinical Guidelines for Comorbid Patients
Contributo in Atti di convegnoA Multi-Engine Theorem Prover for a Description Logic of Typicality
Contributo in Atti di convegnoA New Measure of Polarization in the Annotation of Hate Speech
Contributo in Atti di convegnoA Replanning Algorithm for a Reactive Agent Architecture
Contributo in Atti di convegnoA Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
Contributo in Atti di convegnoA Two-Step Radiologist-Like Approach for Covid-19 Computer-Aided Diagnosis from Chest X-Ray Images
Contributo in Atti di convegnoA conditional constructive logic for access control and its sequent calculus
Contributo in Atti di convegnoA description logic of typicality for conceptual combination
Contributo in Atti di convegnoA knowledge-based weighted KNN for detecting Irony in Twitter
Contributo in Atti di convegnoA minimal model semantics for nonmonotonic reasoning
Contributo in Atti di convegnoA standard and internal calculus for Lewis counterfactual logics
Contributo in Atti di convegnoA tableau calculus for a nonmonotonic extension of EL^\bot
Contributo in Atti di convegnoA tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore
Contributo in Atti di convegnoACL semantics between social commitments and mental attitudes
Contributo in Atti di convegnoADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo
Contributo in Atti di convegnoAb initio Calculation of Binding Energies of Interstellar Sulphur-Containing Species on Crystalline Water Ice Models
Contributo in Atti di convegnoAccountability and Responsibility in Agent Organizations
Contributo in Atti di convegnoAccountability and Responsibility in Multiagent Organizations for Engineering Business Processes
Contributo in Atti di convegnoAdaptive Refinement Techniques for RBF-PU Collocation
Contributo in Atti di convegnoAggregate processes in field calculus
Contributo in Atti di convegnoAn Adaptive LOOCV-Based Algorithm for Solving Elliptic PDEs via RBF Collocation
Contributo in Atti di convegnoAn Adaptive Refinement Scheme for Radial Basis Function Collocation
Capitolo di libroAn Attacker Model for Normative Multi-agent Systems
Contributo in Atti di convegnoAn Information Model for Computing Accountabilities
Contributo in Atti di convegnoAn Interaction-oriented Agent Framework for Open Environments
Contributo in Atti di convegnoAn evolutionary selection model based on a biological phenomenon: The periodical magicicadas
Contributo in Atti di convegnoAn ontological perspective on thematic roles
Contributo in Atti di convegnoAnalysing Moral Beliefs for Detecting Hate Speech Spreaders on Twitter
Contributo in Atti di convegnoAnalysis and Validation of Information Access through Mono, Multidimensional and Dynamic Taxonomies
Contributo in Atti di convegnoAnalytic Tableaux Calculi for KLM Rational Logic R
Contributo in Atti di convegnoAnalytic Tableaux for KLM Preferential and Cumulative Logics
Contributo in Atti di convegnoAnalyzing the role of dimension arrangement for data visualization in Radviz
Contributo in Atti di convegnoAnnotating Concept Abstractness by Common-sense Knowledge
Contributo in Atti di convegnoArgumentation for Access Control
Contributo in Atti di convegnoBuilding a general knowledge base of physical objects for robots
Contributo in Atti di convegnoCapsule Networks with Routing Annealing
Contributo in Atti di convegnoCompliance with Multiple Regulations
Contributo in Atti di convegnoCompositional modeling of complex systems: contact center scenario in OsMoSys
Contributo in Atti di convegnoConcept-Enhanced Multi-view Co-clustering of Document Data
Contributo in Atti di convegnoCondLean 3.0: Improving CondLean for Stronger Conditional Logics
Contributo in Atti di convegnoCondLean: A Theorem Prover for Conditional Logics
Contributo in Atti di convegnoContext and multi-media corpora
ArticoloCooperation and group utility
Contributo in Atti di convegnoCreative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics
Contributo in Atti di convegnoCurricula Modeling and Checking
Contributo in Atti di convegnoCustomising the Interaction with Configuration Systems
Contributo in Atti di convegnoDeep Triplet-Driven Semi-supervised Embedding Clustering
Contributo in Atti di convegnoDelta: The social delegation cycle
Contributo in Atti di convegnoDemostrating Exception Handling in JaCaMO
Contributo in Atti di convegnoDependency Tree Semantics
Contributo in Atti di convegnoDependency Tree Semantics: Branching quantification in Underspecification
Contributo in Atti di convegnoDesigning a Tool for Configuring an Intelligent and Flexible Web-Based System
Contributo in Atti di convegnoDetecting Bajan Phraseology: A Metalexicographic Analysis
Capitolo di libroDisclosing citation meanings for augmented research retrieval and exploration
Contributo in Atti di convegnoEfficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization
Contributo in Atti di convegnoEmploying Inductive Databases in Concrete Applications
Contributo in Atti di convegnoEmpowering Agent Coordination with Social Engagement
Capitolo di libroEnd-User Development for the Wolly Robot
Contributo in Atti di convegnoEstimation of speed and distance of surrounding vehicles from a single camera
Contributo in Atti di convegnoExplaining Bagging with Monte Carlo Theory
Contributo in Atti di convegnoExploiting Social Commitments in Programming Agent Interaction
Capitolo di libroExtraction of Discriminant Features from Image Fractal Encoding
Contributo in Atti di convegnoFluid Models in Performance Analysis
Contributo in Atti di convegnoFormamide Dehydration and Condensation on Acidic Montmorillonite: Mechanistic Insights from Ab-Initio Periodic Simulations
Contributo in Atti di convegnoFragility and Robustness in Multiagent Systems
Contributo in Atti di convegnoFriends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets
Contributo in Atti di convegnoFrom Notation to Semantics: There and Back Again
Capitolo di libroGPU accelerated analysis of treg-teff cross regulation in relapsing-remitting multiple sclerosis
Contributo in Atti di convegnoGoal Distribution in Business Process Models
Contributo in Atti di convegnoGoverning Agents on the Web (Blue Sky Ideas)
Contributo in Atti di convegnoGtt: Guiding the tensor train decomposition
Contributo in Atti di convegnoGuided interactive information access for e-citizens
Contributo in Atti di convegnoHYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
Contributo in Atti di convegnoHow to Program Organizations and Roles in the JADE Framework
Contributo in Atti di convegnoHypersequent calculi for lewis' conditional logics with uniformity and reflexivity
Contributo in Atti di convegnoHypothetical updates, priority and inconsistency in a logic programming language
Contributo in Atti di convegnoImplementation of Choice of Jurisdiction and Law in Private Internatinal Law by PROLEG Meta-interpreter
Contributo in Atti di convegnoIntelligent Supervision for Robust Plan Execution.
Contributo in Atti di convegnoInvestigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming
Contributo in Atti di convegnoItalian Anaphoric Annotation with the Phrase Detectives Game-With-A-Purpose
Contributo in Atti di convegnoIterative Key Based Routing for Web Services Addressing and Discovery
Contributo in Atti di convegnoJADE/JaCaMo+2COMM: Programming Agent Interactions
Contributo in Atti di convegnoKLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
Contributo in Atti di convegnoKnowNow: A serendipity-based educational tool for learning time-linked knowledge
Contributo in Atti di convegnoLaying the foundations for a formal theory of drama
Contributo in Atti di convegnoLearning Profiles Based on Hierarchical Hidden Markov Model
Contributo in Atti di convegnoLearning from monkeys: Authorship issues arising from AI technology
Capitolo di libroMCC’2017 – The Seventh Model Checking Contest
Contributo in Atti di convegnoML Techniques for the classification of Car-Following Manoeuvre
Contributo in Atti di convegnoMaking Sense of Indoor Spaces Using Semantic Web Mining and Situated Robot Perception
Contributo in Atti di convegnoModel-Based Diagnosability Analysis for Web Services
Contributo in Atti di convegnoModeling and Visualization of Drama Heritage
Contributo in Atti di convegnoModelling large timescale and small timescale service variability
Contributo in Atti di convegnoMultiple sclerosis disease: A computational approach for investigating its drug interactions
Contributo in Atti di convegnoNeoHiC: A web application for the analysis of Hi-C data
Contributo in Atti di convegnoNested Sequent Calculi for Conditional Logics
Contributo in Atti di convegnoNo (e-)Democracy without (e-)Knowledge
Contributo in Atti di convegnoNoise adaptive tensor train decomposition for low-rank embedding of noisy data
Contributo in Atti di convegnoOn Sets of Irreducible Polynomials Closed by Composition
Capitolo di libroOn Slicing Software Product Line Signatures
Contributo in Atti di convegnoOn Two Characterizations of Feature Models
Contributo in Atti di convegnoOn a Higher-Order Calculus of Computational Fields
Contributo in Atti di convegnoOn the Expressivity of Total Reversible Programming Languages
Contributo in Atti di convegnoOntology Development for Competence Assessment in Virtual Communities of Practice
Contributo in Atti di convegnoOntology-driven Co-clustering of Gene Expression Data
Contributo in Atti di convegnoOpen Compliance in Multiparty Sessions
Contributo in Atti di convegnoOptimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints
Contributo in Atti di convegnoOrganizations as socially constructed agents in the agent oriented paradigm
Contributo in Atti di convegnoP2T: Pay to Transport
Contributo in Atti di convegnoPRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
Contributo in Atti di convegnoParameter-Less Tensor Co-clustering
Contributo in Atti di convegnoPeer-to-Peer Market Places: Technical Issues and Revenue Models
Contributo in Atti di convegnoPerformance Analysis of Production Lines Through Statistical Model Checking
Contributo in Atti di convegnoPermission and authorization in policies for virtual communities of agents
Contributo in Atti di convegnoPersonalized Recommendation of TV Programs
Contributo in Atti di convegnoPetri Nets Validation of Markovian Models of Emergency Department Arrivals
Contributo in Atti di convegnoPlan Diagnosis and Agent Diagnosis in Multi-agent Systems
Contributo in Atti di convegnoPopulating a knowledge base with object-location relations using distributional semantics
Contributo in Atti di convegnoPositive Arithmetic Without Exchange Is a Subclassical Logic
Contributo in Atti di convegnoPost-synaptic Potential Regularization Has Potential
Contributo in Atti di convegnoPower in Norm Negotiation
Contributo in Atti di convegnoPreDeLo 1.0: a Theorem Prover for Preferential Description Logics
Contributo in Atti di convegnoPreferential Description Logics
Contributo in Atti di convegnoProgramming Goal-driven Web Sites using an Agent Logic Language
Contributo in Atti di convegnoPrototypical reasoning with low complexity Description Logics: preliminary results
Contributo in Atti di convegnoPruning Artificial Neural Networks: A Way to Find Well-Generalizing, High-Entropy Sharp Minima
Contributo in Atti di convegnoReasoning About Agents' Interaction Protocols Inside DCaseLP
Capitolo di libroReasoning About Surprising Scenarios in Description Logics of Typicality
Contributo in Atti di convegnoReasoning about Conversation Protocols in a Logic-based Agent Language
Contributo in Atti di convegnoReasoning about Typicality in Preferential Description Logics
Contributo in Atti di convegnoReasoning about actions in a multiagent domain
Contributo in Atti di convegnoReasoning about typicality with low complexity Description Logics: the logic EL+⊥T
Contributo in Atti di convegnoReasoning in description logics with typicalities and probabilities of exceptions
Contributo in Atti di convegnoRequirements of legal knowledge management systems to aid normative reasoning in specialist domains
Contributo in Atti di convegnoRoboPrivacy and the Law as “Meta-Technology”
Capitolo di libroSemantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
Contributo in Atti di convegnoSentiment polarity classification of figurative language: Exploring the role of irony-aware and multifaceted affect features
Contributo in Atti di convegnoSimulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers
Contributo in Atti di convegnoSocial Continual Planning in Open Multiagent Systems: a First Study
Capitolo di libroSocial contribution settings and newcomer retention in humanitarian crowd mapping
Contributo in Atti di convegnoSpecifying and verifying systems of communicating agents in a temporal action logic
Contributo in Atti di convegnoStandard Sequent Calculi for Lewis' Logics of Counterfactuals
Contributo in Atti di convegnoStructured Semantic Modeling of Scientific Citation Intents
Contributo in Atti di convegnoSummary of: On Checking Delta-Oriented Software Product Lines of Statecharts
Contributo in Atti di convegnoSummary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Contributo in Atti di convegnoSupporting Assessment of Forest Burned Areas by Aerial Photogrammetry: The Susa Valley (NW Italy) Fires of Autumn 2017
Contributo in Atti di convegnoSupporting Organizational Accountability inside Multiagent Systems
Contributo in Atti di convegnoTV Genre Classification Using Multimodal Information and Multilayer Perceptrons
Contributo in Atti di convegnoTackling the dream challenge for gene regulatory networks reverse engineering
Contributo in Atti di convegnoTake a Ramble into Solution Spaces for Classification Problems in Neural Networks
Contributo in Atti di convegnoTeam Cooperation for Plan Recovery in Multi-agent Systems
Contributo in Atti di convegnoThe share operator for field-based coordination
Contributo in Atti di convegnoToolkit for the Creation of a Drama Dataset
Contributo in Atti di convegnoTowards Content Sensitivity Analysis
Contributo in Atti di convegnoTowards Type Inference for JavaScript
Contributo in Atti di convegnoTowards diet management with automatic reasoning and persuasive natural language generation
Contributo in Atti di convegnoTranslating a Modal Language with Embedded Implications into Horn Clause Logic
Contributo in Atti di convegnoTruly Adaptive Optimization: the Basic Ideas
Contributo in Atti di convegnoTruth Maintenance Systems and Belief Revision
Contributo in Atti di convegnoTuple-Based Coordination in Large-Scale Situated Systems
Contributo in Atti di convegnoTyping Multi-Agent Systems via Commitments
Capitolo di libroUniToChest: A Lung Image Dataset for Segmentation of Cancerous Nodules on CT Scans
Contributo in Atti di convegnoUse of Ontologies in Practical NL Query Interpretetation
Contributo in Atti di convegnoUsing XML for Representing Domain Dependent Knowledge in Dialogos
Contributo in Atti di convegnoVINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
Contributo in Atti di convegnoVerifying Agent Conformance with Protocols Specified in a Temporal Action Logic
Contributo in Atti di convegnoVerifying Business Process Compliance by Reasoning about Actions
Contributo in Atti di convegnoVerifying Protocol Conformance for Logic-Based Communicating Agents
Capitolo di libroVerifying communicating agents by model checking in a temporal action logic
Contributo in Atti di convegnoVirtual Reality Experiential Training for Individuals with Autism: The Airport Scenario
Contributo in Atti di convegnoVisualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science
Contributo in Atti di convegnoWhat2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation
Contributo in Atti di convegnoYoung Adult Unemployment Through the Lens of Social Media: Italy as a Case Study
Contributo in Atti di convegnoNo Results Found