yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020
A Tool For Ranking Arguments Through Voting-Games Power Indexes
Towards fuzzy granulation in OWL ontologies
Hyper-Extensionality and One-Node Elimination on Membership Graphs
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016
Logic-based reasoning support for SBVR
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
Preferences and Priorities in ASP
A Smart Health Assistant via DALI Logical Agents
Verifying Relational Program Properties by Transforming Constrained Horn clauses
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
Evoluzioni di Ontologie in Frame Logic
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018
PrettyCLP: a Light Java Implementation for Teaching CLP
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking
Reasoning about Actions with Temporal Answer Sets
Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti
KRaider: a Crawler for Linked Data
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
An Application of ASP for Procedural Content Generation in Video Games
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?
The Blame Game for Property-based Testing
Epistemic Multiagent Reasoning with Collaborative Robots
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011
A Note on the Approximation of Mean-Payoff Games
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF
An Evaluation of Open Source LLMs for Neuro-Symbolic Integration
Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming
Focusing on Contraction
A Tabled Prolog Program for Solving Sokoban
Toward an Improved Downward Refinement Operator for Inductive Logic Programming
Probabilistic Logic-Based Process Mining
Reasoning about Memory Management in Resource-Bounded Agents
A natural sequent calculus for Lewis' logic of counterfactuals
Testing ASP programs in ASPIDE
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Domain-agnostic Procedural Content Generation Can Be Done Declaratively
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits
Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014
Large Scale DLV: Preliminary Results
The CHR-based Implementation of the SCIFF Abductive System
Ontoceramic: an OWL ontology for ceramics classification
Reasoning by Analogy Using Past Experiences
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments
A Visual Interface for Drawing ASP Programs
From Logic Programming to Argumentation and Back
Generalization Strategies for the Verification of Infinite State Systems
An Infrastructure for Multi-shot Reasoning with Incremental Grounding
ASP Chef for Water Waste Monitoring
CLP-based Protein Fragment Assembly
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity
Compiling and Executing PDDL in Picat
Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning
An ASP-based Approach to Master Surgical Scheduling
A First Study of the Horn Fragment of the Modal Logic of Time Intervals
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper)
COCOS: a typicality based COncept COmbination System
Infinite derivations as failures
Verification of Imperative Programs by Transforming Constraint Logic Programs
Unlocking Historical Insights: Developing a Dataset from Historical Archives
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation
Winning CaRet Games with Modular Strategies
Taking stock of available technologies for compliance checking on first-order knowledge
Theorem Proving for Lewis Logics of Counterfactual Reasoning
Temporal Meta-Axioms in Logical Agents
ProdProc - Product and Production Process Modeling and Configuration
Logic Programming Applied to Genome Evolution in Cancer
CARING for xAI
Probabilistic Ontologies in Datalog+/-
Labelled Variables in Logic Programming: Foundations
Compilation of Aggregates in ASP: Preliminary Results
EM over Binary Decision Diagrams for Probabilistic Logic Programs
Towards visualising security with arguments
A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics
The Birth of a WASP: Preliminary Report on a New ASP Solver
Condensed Representations for Contrast Sequential Pattern Mining in ASP
An Ontology for the Iconographic Sources of La Divina Commedia
Leveraging commitments and goals in agent interaction
2D object reconstruction with ASP
Power (Set) ALC (Extended Abstract)
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk)
Keeping Interval-Based Functional Dependencies Up-to-Date
TOLC-ASP: a Tool for Training Students for Admission Tests
Constraints propagation on GPU: A case study for AllDifferent
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods
NEMO - A Neural, Emotional Architecture for Human-AI Teaming
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints
A Description Logics Tableau Reasoner in Prolog
On Two-variable First-order Logic with a Partial Order
GPU-Accelerated Propagation for the Stable Marriage Constraint
Preference Management in Epistemic Logic L-DINF
Defeasibility in Contextual Reasoning with CKR
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features
Proof Verification within Set Theory
Typicality-based Revision for Handling Exceptions in Description Logics
Logic Programming for Knowledge Graph Completion
Learning Terminological Bayesian Classifiers - A Comparison of Alternative Approaches to Dealing with Unknown Concept-Memberships
A Framework for the Verification of Parameterized Infinite-State Systems
Parametric protocol-driven agents and their integration in JADE
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence
A Mechanism for Ontology Confidentiality
On Probabilities of Exceptions in Description Logics of Typicality
Simple and Effective Sign Consistency Using Interval Arithmetic
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies
Multi-Criteria Optimal Planning for Energy Policies in CLP
Forward Countermodel Construction in Modal Logic K
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match
On the Elimination of Quantifiers through Descriptors in Predicate Logic
On modal mu-calculus in S5 and applications
Evolution of Algorithm Portfolio for Solving Strategies
Visualizing CHC Verification Conditions for Smart Contracts Auditing
Key Metalogical Propositions on a Variant of Hilbert's Epsilon-Calculus
The temporal representation and reasoning of complex events
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?
Model with DLs + Solve with ASP! - A Case Study from Concept Learning
A Logic-based Approach to Verify Distributed Protocols
A Constructive Conditional Logic for Access Control
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria
Synthesizing Concurrent Programs using Answer Set Programming
On the first-order rewritability of conjunctive queries over binary guarded existential rules
Argumentation for Propositional Logic and Nonmonotonic Reasoning
Verification of Coverability in Positive Interactive Datalog Programs
Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
Foundations of Fuzzy Logic and Semantic Web Languages
Decidability of Ordered Fragments of FOL via Modal Translation
A case study on graph-based planning for emergency evacuation
On (Maximal, Tractable) Fragments of the Branching Algebra
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System
BERT-based Questions Answering on Close Domains: Preliminary Report
Some Decidability Issues Concerning C^n Real Functions
GPU parallelism for SAT solving heuristics
Relational Dual Tableaux: Foundations and Applications
Very Weak, Essentially Undecidabile Set Theories
ASP for Reasoning about Actions with an EL^bot Knowledge Base
A Declarative Goal-oriented Framework for Smart Environments with LPaaS
On Relating Voting Systems and Argumentation Frameworks
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Negation as a Resource: a Novel View on Answer Set Semantics
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015
Disentangling Deontic Positions and Abilities: a Modal Analysis
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Logics in Machine Learning and Data Mining: Achievements and Open Issues
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis
Query Answering in Resource-Based Answer Set Semantics
Preserving Privacy in a (Timed) Concurrent Language for Argumentation
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach
Complexity of Super-Coherence Problems in Answer Set Programming
Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling
An ASP Approach for Arteries Classification in CT-scans
An Application of the TCL Logic to Aerospace Missions
Extending ASPIDE with User-defined Plugins
Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals
FO Queries Strongly Distributing over Components in Arbitrary Cardinality
Scheduling Periodic Treatments Via Answer Set Programming
ARKIVO: an Ontology for Describing Archival Resources
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
Nuclear Medicine Scheduling via Answer Set Programming
Debugging of Answer Set Programs Using Paracoherent Reasoning
Temporalizing Epistemic Logic L-DINF
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language
The SATisfiability problem and its impact
Proof Search and Countermodel Construction for iCK4
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form
Geometric and Spatial Reasoning in BDI Agents: A Survey
Solving Weighted Argumentation Frameworks with Soft Constraints
Event Detection from Video Using Answer Set Programing
The Epistemic Structure of de Finetti's Betting Problem
A First Comparison of Abstract Argumentation Systems: A Computational Perspective
Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012
Fast Prototyping of a Solver for Reduct-based ELP Semantics
Nested Weight Constraints in ASP
A Computational Model for Mapreduce Job Flow
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking
Cognitively Inspired Reasoning for Reactive Robotics - From Image Schemas to Knowledge Enrichment
Supporting User Interface Design with Image Schemas: The ISCAT Database as a Research Tool
Left-Right Spatial Orientation in Dream Reports: Image Schemas and Interactional Dynamics
Proceedings of The Eighth Image Schema Day co-located with The 23rd International Conference of the Italian Association for Artificial Intelligence(AI*IA 2024), Bozen-Bolzano, Italy, November 27-28th, 2024
Proceedings of the Sixth Image Schema Day, Jönköping, Sweden, March 24-25th, 2022
An Embodied Approach to Treating Aphasia: __ Missing ___ Prepositions and Bringing Them In
Image-Schematic Metaphors in Software Visualizations
Image Schema and Ontology-based Rules to Support Planning Activities: A Study of the Urban Square
Image Schemas as Tools for Exploring the Design Space of Data Physicalisations
Image Schemas vs. VAKOG: Designing for Intuitive Communication in Air Traffic Control
Image Schemas as Epistemic Feelings. The Shift from Cognitive to Affective Semantics
The Image Schema VERTICALITY: Definitions- and Annotation Guidelines
"The Time for Action has Arrived": Extending the IS Catalogue Leveraging Large Language Models
Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd, 2023
How to Blend Concepts in Diffusion Models
Getting On Top of Things: Towards Intelligent Robotic Object Stacking through Image-Schematic Reasoning
Using image schemata to support autonomous assembly tasks
Does Stable Diffusion Dream of Electric Sheep
Beyond Space and Time: An Initial Sketch of Formal Accounts to Non-Spatiotemporal Conceptual Sensory Primitives
May the FORCE be with Semantics: exploiting LLMs to Image Schematic Knowledge Enrichment
Visualising Image Schemas: A Preliminary Look at the Diagrammatic Image Schema Language (DISL)
Image Schematic Metaphors in Air Traffic Controllers' Language
Emotions, Money and Other Amorphous Things. An Initial Exploration of Substance
Multimodal meets Intuitive? Comparing Visual and Tangible Image Schema Representations
Generalized Between Icon, Symbol and Index: The Physical Dimension in Isotype and Unicode
An Image-Schematic Analysis of Hasse and Euler Diagrams
Image and Force Schemas Interacting in Digital Environments: The Computer Game Antichamber
Conceptions of Concepts: Frege vs Lakoff/Johnson, are they reconcilable?
Embodied Sense-Making of Diagrams as Conceptual Blending with Image Schemas
Image Schemas, Cognitive Metaphor, and Film: Bridging Discourses
Spatial Representations and Image Schemas for Symbol Grounding and Reasoning
The Moving Apple: An Image-Schematic Investigation into the Leuven Concept Database
Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures
Towards Reactive Robotics with a Pinch of Image-Schematic Reasoning
Image Schema Decompositions of the Conceptual Dependency INGEST Primitive: A Study of Paraphrases
It Is What It Tends to Do: Defining Qualitative Parameter Regions by Their Effects on Physical Behavior
When Push Comes to Shove: A Formal Analysis of the Conceptual Primitives in Pushing
The Boat, the House and the In-Between: Conceptual Blending as Betweenness Relation
The Racing Mind and the Path of Love: automatic extraction of image schematic triggers in knowledge graphs generated from natural language
InfoSuggest: A System for Automated Information Gathering: With a Real-World Case Study
Analysis Engine for Automated Health Checks, Early Problem Detection and Advanced Problem Determination
Privacy and Reliability in Crowdsourcing Service Delivery
Complaining Customers as Innovation Contributors: Stimulating Service Innovation through Multichannel Complaint Management
Development of a Rice Watch System for Strategic Planning in Rice Markets and Services
A Generic Business Artifacts Based Authorization Framework for Cross-Enterprise Collaboration
Prospective Client Driven Technology Recommendation
Defining Value When Managing IT Investments
Effective Content Reuse for Business Consulting Practices
Taipei Citizen Telecare Service System for Hypertension Management in Elders
Proposal and Evaluation of Metadata Management Method for eDiscovery
Towards Data-Oriented Schedule Management in Hospital
A System to Provide Primary Maternity Healthcare Services in Developing Countries
A Cloud HUB for Brokering Business Processes as a Service: A "Rendezvous" Platform that Supports Semi-automated Background Checked Partner Discovery for Cross-Enterprise Collaboration
Work as a Service Meta-model and Protocol for Adjustable Visibility, Coordination, and Control
A Comprehensive Risk Management System on Building Energy Retrofit
Progress in the Healthcare Service Innovation Project at the Tsukuba University Hospital
FieldTouch: An Innovative Agriculture Decision Support Service Based on Multi-scale Sensor Platform
Predictive Monitoring of Heterogeneous Service-Oriented Business Networks: The Transport and Logistics Case
Service Applications - Exploiting the Internet of Things
Characterizing Time-Bounded Incident Management Systems
Customer Behavior Modelling Using Radio Frequency Identification Data and the Hidden Markov Model
Marketer Perceptions of Quality on the Success of Mobile Shopping System and Its Impact on Performance
An Approach for Services Design by Understanding Value Requirements, Identifying Value Carriers, Developing Value Proposition, and Subsequently Realizing Value
Towards a Formal Model for Optimal Task-Site Allocation and Effort Estimation in Global Software Development
Dominant Innovation Design for Smart Products-Service Systems (PSS): Strategies and Case Studies
A Health Care Service to Disaster Survivors
Robot-Assisted Healthcare Support for an Aging Society
Using Webcrawling of Publicly Available Websites to Assess E-commerce Relationships
Cloud Services Measures for Global Use: The Service Measurement Index (SMI)
The Role of Business Model Design in the Service Engineering Process: A Comparative Case Study in the Field of Cloud Computing to Join Service Engineering with Business Model Design
A Strategy to Create Agricultural Big Data
Model Driven Provisioning in Multi-tenant Clouds
Model-Driven Data Warehousing for Service-Based Business Process Monitoring
Towards Personalized Care Coordination Service: Integrating Guideline-Based Practice with Interactive Data-Driven Analytics
A Study on External Knowledge, Knowledge Management Capability and Corporate Performance
Optical Sensing for Plant Toward Science-Based Smart Farming with Wireless Sensor Network
On the Connections between Types and Service Level Agreements and Implications for Digital Commercial Printing and Other Domains
Opportunistic Adversaries: On Imminent Threats to Learning-Based Business Automation
Carsharing and IT Enabled Services
Method for Modeling and Validation of Cross Enterprise Services Composition
A Future Internet Collaboration Platform for Safe and Healthy Food from Farm to Fork
Employee Engagement: Conceptual Model and Computation Framework
Reducing Amount of Information Loss in k-Anonymization for Secondary Use of Collected Personal Information
Big Data in Science and the EUDAT Project
Intelligent Information Lifecycle Management in Virtualized Storage Environments
Governance Framework for IT Transformation Projects in Outsourcing
A Gap-Analysis-Based Framework for Evolution and Modernization: Modernization of Domain Management at Red.es
A Game Theoretic Approach to Identify Critical Components in Networked Systems
Cross-Border Challenges in Financial Markets Monitoring and Surveillance: A Case Study of Customer-Driven Service Value Networks
Financial Market Service Architectures: A "Pump and Dump" Case Study
Mining Patient Experiences on Web 2.0 - A Case Study in the Pharmaceutical Industry
CT Image Management and Communication Services
On the Analysis of Global Team Performance
A Fast Interactive Search System for Healthcare Services
Benefit Realization Framework for Enabling Service Innovation: Thailand's Dairy Industry Case Study
The Impact of Personality Traits on the Individual Preference of E-Learning Tools
Allegro: A Metrics Framework for Globally Distributed Service Delivery
Use of IT Best Practices for Non-IT Services
The Application of Six Sigma to Promote Information System Service Quality
Integration of Service Models - Preliminary Results for Consistent Logistics Service Management
Customer Tracking and Tracing Data as a Basis for Service Innovations at the Point of Sale
Systems Health Care: Coevolutionary Integration of Smart Devices and Smart Services
Building Trust and Compliance in the Cloud for Services
Queuing Network Model and Visualization for the Patient Flow in the Obstetric Unit of the University of Tsukuba Hospital
How Japanese Traditional "Omonpakari" Services are Delivered - A Multidisciplinary Approach
Measuring Service Solution Quality in Services Outsourcing Projects Using Value Driver Tree Approach
Document Quality Checking Tool for Global Software Development
Towards Software Mass Customization for Business Collaboration
Configurable and Extensible Multi-flows for Providing Analytics as a Service on the Cloud
A Conceptual Framework of Service Innovation and Its Implications for Future Research
Innovation Contests as Support Systems for New Service Value
Sales Prediction with Social Media Analysis
Characterizing Hospital Services Using Temporal Data Mining
Quality and Service Management: Processes for Improving the Productivity of Service Provisioning
2014 Annual SRII Global Conference, San Jose, CA, USA, April 23-25, 2014
Business Process Optimization in Cross-Company Service Networks: Architecture and Maturity Model
Information and Knowledge in Telecommunications: A Service-Dominant View
Evolving Social Media into Productivity Platforms
A Win Prediction Model for IT Outsourcing Bids
Goal-Oriented Dynamic Business Processes in Service Environments: Models and Methods Applied in Finance Industry
Problem to the Productivity Improvement of the Service Industry of Japan
Optimization for Service Plan of Environmental Emergency Based on Entropy Value-TOPSIS Method
A Top Down Approach to Enterprise Monitoring Using Change Point Detection
Resiliency Analytics Framework for Service Delivery Organizations
Global IT Manageability Policies across Service Boundaries in a Cloud Environment
Public Value Provision: A Design Theory for Public E-services
Mobile Phone TV Services Business Model Based on Value Co-creation
Applicability of Industrial Manufacturing Innovations and Concepts for the Industrialization of IT
Service Value Modeling: A Systematic Method to Unveil the Business Value of Industry Solutions
Variability Management in Information Intensive Services
Potentials and Barriers of Technology Deployment in Services: Productivity Increase and Innovation
An Innovative Decision Support Service for Improving Pharmaceutical Acquisition Capabilities
Improving Service Quality through Use of Standard Workbenches
Improving Application Management Services through Optimal Clustering of Service Requests
WindTunnel: A Tool for Network Impact Testing of Mobile Applications
An Innovative System for Remote and Automated Testing of Mobile Phone Applications
A Process- and Policy-Aware Cross Enterprise Collaboration Framework for Multisourced Services
The Influence of Cross-Border Brand Alliance on Attitude of Consumers: A Conceptual and Structural Model Perspective
Youth-Mediated Knowledge Transfer and Data Acquisition Service for Agricultural Decision Support: A Trial for Illiterate Farmers in Vietnam
Achieve Agile Enterprise System through Collaboration with BPMS
Service Authentication via Electronic Identification Cards: VoIP Service Authentication through the DNIe
Interexchange Museum Database via Web Service