On the public citation graph
A Logic-based Calculus of Events
0 signed · 1407 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/0004-3702(84)90008-0openalex-snapshot
Towards a general theory of action and time
inferredcites →https://doi.org/10.1016/0306-4379(85)90036-5openalex-snapshot
Temporal inferencing on administrative databases
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1145/1056176.1056180openalex-snapshot
The role of time in information processing
inferredcites →https://doi.org/10.1145/182.358434openalex-snapshot
Maintaining knowledge about temporal intervals
inferredcites →https://doi.org/10.1145/984505.984508openalex-snapshot
The role of time in information processing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4792141openalex-extracted
Activity Recognition within a Manufacturing System: A Comparison of Logic Programming, Machine Learning, and Combinatorial Optimization Based Methods
inferred← citeshttps://doi.org/10.1002/cpe.6025openalex-snapshot
Process mining‐constrained scheduling in the hybrid cloud
inferred← citeshttps://doi.org/10.1002/int.4550060506openalex-snapshot
Representation and compilation of knowledge in point-based temporal system
inferred← citeshttps://doi.org/10.1002/int.4550090304openalex-snapshot
Towards an integration of time and causation in a hybrid knowledge representation formalism
inferred← citeshttps://doi.org/10.1002/int.4550101203openalex-snapshot
From physical to standard time
inferred← citeshttps://doi.org/10.1002/scj.4690191002openalex-snapshot
Algebraic Specification of Parallel Systems Based on Binary Relations between Events
inferred← citeshttps://doi.org/10.1002/spe.923openalex-snapshot
Specifying features of an evolving software system
inferred← citeshttps://doi.org/10.1006/ijhc.1999.0337openalex-snapshot
Evaluating focus theories for dialogue management
inferred← citeshttps://doi.org/10.1006/jvlc.2000.0175openalex-snapshot
Building Environments for Visual Programming of Robots by Demonstration
inferred← citeshttps://doi.org/10.1007/10704567_17openalex-snapshot
OPENLOG: A Logic Programming Language Based on Abduction
inferred← citeshttps://doi.org/10.1007/11424574_4openalex-snapshot
The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition
inferred← citeshttps://doi.org/10.1007/11493402_13openalex-snapshot
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/11499220_44openalex-snapshot
Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces
inferred← citeshttps://doi.org/10.1007/11526988_5openalex-snapshot
Personalization for the Semantic Web
inferred← citeshttps://doi.org/10.1007/11533092_14openalex-snapshot
Planning Partially for Situated Agents
inferred← citeshttps://doi.org/10.1007/11558590_14openalex-snapshot
The SCIFF Abductive Proof-Procedure
inferred← citeshttps://doi.org/10.1007/11560326_40openalex-snapshot
Security Checker Architecture for Policy-Based Security Management
inferred← citeshttps://doi.org/10.1007/11568346_24openalex-snapshot
A Logical Approach for Modeling Spatio-temporal Objects and Events
inferred← citeshttps://doi.org/10.1007/11580072_19openalex-snapshot
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
inferred← citeshttps://doi.org/10.1007/11581062_32openalex-snapshot
A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus
inferred← citeshttps://doi.org/10.1007/11750734_10openalex-snapshot
Using the KGP Model of Agency to Design Applications
inferred← citeshttps://doi.org/10.1007/11759683_14openalex-snapshot
QoS Management in MANETs Using Norm-Governed Agent Societies
inferred← citeshttps://doi.org/10.1007/11767954_4openalex-snapshot
Automated Evaluation of Coordination Approaches
inferred← citeshttps://doi.org/10.1007/11775331_7openalex-snapshot
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming
inferred← citeshttps://doi.org/10.1007/11788485_3openalex-snapshot
Temporal Constraints with Multiple Granularities in Smart Homes
inferred← citeshttps://doi.org/10.1007/11788485_4openalex-snapshot
Causal Reasoning for Alert Generation in Smart Homes
inferred← citeshttps://doi.org/10.1007/11829263_4openalex-snapshot
Computational Logic in an Object-Oriented World
inferred← citeshttps://doi.org/10.1007/11841760_18openalex-snapshot
Retracted: Towards Formal Verification of Web Service Composition
inferred← citeshttps://doi.org/10.1007/11841760_29openalex-snapshot
Towards a Methodology for Deriving Contract-Compliant Business Processes
inferred← citeshttps://doi.org/10.1007/11914853_25openalex-snapshot
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus
inferred← citeshttps://doi.org/10.1007/11916291_4openalex-snapshot
Requirements Analysis of an Agent’s Reasoning Capability
inferred← citeshttps://doi.org/10.1007/11948148_37openalex-snapshot
Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus
inferred← citeshttps://doi.org/10.1007/11961536openalex-snapshot
Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers
inferred← citeshttps://doi.org/10.1007/3-540-16479-0_27openalex-snapshot
KRIP: A knowledge representation system for laws relating to industrial property
inferred← citeshttps://doi.org/10.1007/3-540-36388-2_14openalex-snapshot
ACTILOG: An Agent Activation Language
inferred← citeshttps://doi.org/10.1007/3-540-36468-4_12openalex-snapshot
Using Theory Completion to Learn a Robot Navigation Control Program
inferred← citeshttps://doi.org/10.1007/3-540-39967-4_11openalex-snapshot
Supporting Inheritance Mechanisms in Ontology Representation
inferred← citeshttps://doi.org/10.1007/3-540-39967-4_25openalex-snapshot
The Nature of Knowledge in an Abductive Event Calculus Planner
inferred← citeshttps://doi.org/10.1007/3-540-40006-0_9openalex-snapshot
Representing the Process Semantics in the Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44404-1_28openalex-snapshot
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44469-6_21openalex-snapshot
Formalizing Workflows Using the Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44469-6_45openalex-snapshot
Temporal Databases with Null Values
inferred← citeshttps://doi.org/10.1007/3-540-44520-x_97openalex-snapshot
Implementing Declarative Concurrency in Java
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_52openalex-snapshot
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-45034-3_81openalex-snapshot
The Object Event Calculus and Temporal Geographic Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-45049-1_54openalex-snapshot
The Formal Specification and Implementation of a Modest First Order Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45329-6_26openalex-snapshot
Situation Calculus as Hybrid Logic: First Steps
inferred← citeshttps://doi.org/10.1007/3-540-45341-5_13openalex-snapshot
Data Models with Multiple Temporal Dimensions: Completing the Picture
inferred← citeshttps://doi.org/10.1007/3-540-45402-0_18openalex-snapshot
Encoding Solutions of the Frame Problem in Dynamic Logic
inferred← citeshttps://doi.org/10.1007/3-540-45411-x_20openalex-snapshot
Characterising Concept’s Properties in Ontologies
inferred← citeshttps://doi.org/10.1007/3-540-45591-4_43openalex-snapshot
Declarative concurrency in Java
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_3openalex-snapshot
An Abductive Approach for Analysing Event-Based Requirements Specifications
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_6openalex-snapshot
Reasoning about Actions with CHRs and Finite Domain Constraints
inferred← citeshttps://doi.org/10.1007/3-540-45620-1_9openalex-snapshot
DDDLIB: A Library for Solving Quantified Difference Inequalities
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_16openalex-snapshot
Abduction in Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_1openalex-snapshot
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_17openalex-snapshot
Some Alternative Formulations of the Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_31openalex-snapshot
Reasoning about Actions in Prioritized Default Theory
inferred← citeshttps://doi.org/10.1007/3-540-45810-7_28openalex-snapshot
Attribute Meta-properties for Formal Ontological Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45816-6_30openalex-snapshot
Understanding and Simulating Narratives in the Context of Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-45941-3_16openalex-snapshot
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
inferred← citeshttps://doi.org/10.1007/3-540-46146-9_54openalex-snapshot
Two Approaches to Event Definition
inferred← citeshttps://doi.org/10.1007/3-540-46238-4_12openalex-snapshot
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
inferred← citeshttps://doi.org/10.1007/3-540-46767-x_6openalex-snapshot
An Argumentation Framework for Reasoning about Actions and Change
inferred← citeshttps://doi.org/10.1007/3-540-47866-3_31openalex-snapshot
Operational Characterization of Genre in Literary and Real-Life Domains
inferred← citeshttps://doi.org/10.1007/3-540-48054-4_7openalex-snapshot
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48309-8_46openalex-snapshot
Simulating the Interaction of Database Agents
inferred← citeshttps://doi.org/10.1007/3-540-48309-8_95openalex-snapshot
Reasoning about Events with Imprecise Location and Multiple Granularities
inferred← citeshttps://doi.org/10.1007/3-540-48315-2_47openalex-snapshot
Counterfactual Reasoning by Means of a Calculus of Narrative Context
inferred← citeshttps://doi.org/10.1007/3-540-48317-9_17openalex-snapshot
The Event Calculus Explained
inferred← citeshttps://doi.org/10.1007/3-540-48521-x_20openalex-snapshot
A Temporal Reasoning Approach to Model Workflow Activities
inferred← citeshttps://doi.org/10.1007/3-540-49151-1_12openalex-snapshot
Temporal Indeterminacy in Deductive Databases: An Approach Based on Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_2openalex-snapshot
Combining Introspection and Communication with Rationality and Reactivity in Agents
inferred← citeshttps://doi.org/10.1007/3-540-51635-2_39openalex-snapshot
An application of the event calculus for representing the history of a software project
inferred← citeshttps://doi.org/10.1007/3-540-51665-4_74openalex-snapshot
A horn clause theory of inheritance and temporal reasoning
inferred← citeshttps://doi.org/10.1007/3-540-52062-7_78openalex-snapshot
A temporal relational calculus
inferred← citeshttps://doi.org/10.1007/3-540-52337-6_26openalex-snapshot
Eventualities in a natural language understanding system
inferred← citeshttps://doi.org/10.1007/3-540-54507-7_8openalex-snapshot
Execution of defeasible temporal clauses for building preferred models
inferred← citeshttps://doi.org/10.1007/3-540-54535-2_33openalex-snapshot
Maximal intervals: An approach to temporal reasoning
inferred← citeshttps://doi.org/10.1007/3-540-54563-8_86openalex-snapshot
On interval-based temporal planning: An IQ strategy
inferred← citeshttps://doi.org/10.1007/3-540-54563-8_88openalex-snapshot
Combining time points and time intervals in a hybrid knowledge representation formalism
inferred← citeshttps://doi.org/10.1007/3-540-54594-8_67openalex-snapshot
On representing the temporal structure of texts
inferred← citeshttps://doi.org/10.1007/3-540-55930-2_15openalex-snapshot
Legislation as logic programs
inferred← citeshttps://doi.org/10.1007/3-540-56039-4_41openalex-snapshot
Updating atomic information in labelled database systems (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_23openalex-snapshot
Metaprograms for change, assumptions, objects, and inheritance
inferred← citeshttps://doi.org/10.1007/3-540-56777-1_21openalex-snapshot
An object-oriented temporal model
inferred← citeshttps://doi.org/10.1007/3-540-57253-8_60openalex-snapshot
Acquisition and modelling of uncertain, incomplete and time-varying knowledge
inferred← citeshttps://doi.org/10.1007/3-540-57530-8_30openalex-snapshot
Versioning of objects in deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-58183-9_39openalex-snapshot
Temporal database technology for air traffic flow management
inferred← citeshttps://doi.org/10.1007/3-540-59487-6_16openalex-snapshot
Situation calculus specifications for event calculus logic programs
inferred← citeshttps://doi.org/10.1007/3-540-59487-6_2openalex-snapshot
A terminological interpretation of (abductive) logic programming
inferred← citeshttps://doi.org/10.1007/3-540-60025-6_126openalex-snapshot
Modelling medical concepts as time-objects
inferred← citeshttps://doi.org/10.1007/3-540-60025-6_127openalex-snapshot
Modeling medical reasoning with the Event Calculus: an application to the management of mechanical ventilation
inferred← citeshttps://doi.org/10.1007/3-540-60392-1_26openalex-snapshot
Qualitative causal modeling in temporal GIS
inferred← citeshttps://doi.org/10.1007/3-540-60437-5_33openalex-snapshot
Formalizing reasoning about change: A temporal diagnosis approach
inferred← citeshttps://doi.org/10.1007/3-540-61291-2_39openalex-snapshot
Reasoning with multi-point events
inferred← citeshttps://doi.org/10.1007/3-540-61291-2_41openalex-snapshot
Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic
inferred← citeshttps://doi.org/10.1007/3-540-61291-2_42openalex-snapshot
The frame problem and Bayesian network action representations
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_109openalex-snapshot
Towards the assessment of logics for concurrent actions
inferred← citeshttps://doi.org/10.1007/3-540-63107-0_3openalex-snapshot
Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus
inferred← citeshttps://doi.org/10.1007/3-540-63912-8_101openalex-snapshot
Event calculus planning revisited
inferred← citeshttps://doi.org/10.1007/3540635149_49openalex-snapshot
Learning programs in the event calculus
inferred← citeshttps://doi.org/10.1007/978-0-387-27696-0_6openalex-snapshot
Rule-based Policy Specification
inferred← citeshttps://doi.org/10.1007/978-0-387-35390-6_1openalex-snapshot
An Agent-Based Approach to Holonic Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35508-5_18openalex-snapshot
Temporal Authorization in the Simplified Event Calculus
inferred← citeshttps://doi.org/10.1007/978-0-585-28322-7_7openalex-snapshot
Actions and Events in Interval Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-0-85729-130-1_3openalex-snapshot
Graph-Based Norm Explanation
inferred← citeshttps://doi.org/10.1007/978-1-4419-0221-4_55openalex-snapshot
Behaviour Recognition using the Event Calculus
inferred← citeshttps://doi.org/10.1007/978-1-4419-6984-2_11openalex-snapshot
A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3421-3_15openalex-snapshot
An Amalgamated Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-1-4471-3546-3_6openalex-snapshot
Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-1-4613-9347-4_8openalex-snapshot
Symbolic Discrete-Event Simulation
inferred← citeshttps://doi.org/10.1007/978-1-4614-1969-3_8openalex-snapshot
The ASSL Formalism for Real-Time Autonomic Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-6059-3_3openalex-snapshot
Context-Sensitive Temporal Abstraction of Clinical Data
inferred← citeshttps://doi.org/10.1007/978-1-84996-074-8_9openalex-snapshot
Web Recommender Agents with Inductive Learning Capabilities
inferred← citeshttps://doi.org/10.1007/978-3-030-00178-0_11openalex-snapshot
Causal Models of Legal Cases
inferred← citeshttps://doi.org/10.1007/978-3-030-03062-9_9openalex-snapshot
Toward a Smart City Using Tentacular AI
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_1openalex-snapshot
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_15openalex-snapshot
Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_5openalex-snapshot
A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication
inferred← citeshttps://doi.org/10.1007/978-3-030-03638-6_17openalex-snapshot
Authorization Policies Specification and Consistency Management within Multi-cloud Environments
inferred← citeshttps://doi.org/10.1007/978-3-030-04028-4_16openalex-snapshot
Exploring Bloom’s Taxonomy as a Basis for Interactive Storytelling
inferred← citeshttps://doi.org/10.1007/978-3-030-05333-8_4openalex-snapshot
Knowledge Management for Democratic Governance of Socio-Technical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-10928-8_24openalex-snapshot
Online Learning of Weighted Relational Rules for Complex Event Recognition
inferred← citeshttps://doi.org/10.1007/978-3-030-16829-2_4openalex-snapshot
Space, Time and the Representation of Geographical Reality
inferred← citeshttps://doi.org/10.1007/978-3-030-19823-7_39openalex-snapshot
EduBAI: An Educational Platform for Logic-Based Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-030-22102-7_17openalex-snapshot
Do Humans Reason with $$\mathcal{E}$$ -Matchers?
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_17openalex-snapshot
The ASSL Approach to Formal Specification of Self-managing Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-29238-6_20openalex-snapshot
Evaluation of Maritime Event Detection Against Missing Data
inferred← citeshttps://doi.org/10.1007/978-3-030-29908-8_40openalex-snapshot
Augmenting an Answer Set Based Controlled Natural Language with Temporal Expressions
inferred← citeshttps://doi.org/10.1007/978-3-030-31423-1_6openalex-snapshot
Logic-Based Learning of Answer Set Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-32591-6_115openalex-snapshot
Contextual Analysis of Transactional Data
inferred← citeshttps://doi.org/10.1007/978-3-030-34914-1_15openalex-snapshot
Load Balancing in Hybrid Clouds Through Process Mining Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-030-45260-5_9openalex-snapshot
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-49663-0_31openalex-snapshot
AFFLOG: A Logic Based Affective Tutoring System
inferred← citeshttps://doi.org/10.1007/978-3-030-58475-7_7openalex-snapshot
Tractable Fragments of Temporal Sequences of Topological Information
inferred← citeshttps://doi.org/10.1007/978-3-030-60843-9_6openalex-snapshot
A Collective Action Simulation Platform
inferred← citeshttps://doi.org/10.1007/978-3-030-61467-6_21openalex-snapshot
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
inferred← citeshttps://doi.org/10.1007/978-3-030-61852-0_8openalex-snapshot
Composite Maritime Event Recognition
inferred← citeshttps://doi.org/10.1007/978-3-030-69322-0_14openalex-snapshot
Declarative Preferences in Reactive BDI Agents
inferred← citeshttps://doi.org/10.1007/978-3-030-79876-5_34openalex-snapshot
The Fusemate Logic Programming System
inferred← citeshttps://doi.org/10.1007/978-3-030-86205-3_6openalex-snapshot
Combining Event Calculus and Description Logic Reasoning via Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-87790-3_9openalex-snapshot
Advanced IDSS Topics and Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-93547-4_20openalex-snapshot
ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-97454-1_16openalex-snapshot
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-98869-2_8openalex-snapshot
Representation and Processing of Instantaneous and Durative Temporal Phenomena
inferred← citeshttps://doi.org/10.1007/978-3-031-01567-0openalex-snapshot
An Introduction to Constraint-Based Temporal Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-19907-3_21openalex-snapshot
Toward Generating Natural-Language Explanations of Modal-Logic Proofs
inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot
Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_17openalex-snapshot
Combining Logic Programming and Imperative Programming in LPS
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_25openalex-snapshot
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
inferred← citeshttps://doi.org/10.1007/978-3-031-45558-2_14openalex-snapshot
A Temporal Logic for Successive Events
inferred← citeshttps://doi.org/10.1007/978-3-031-50485-3_32openalex-snapshot
From Probabilistic Programming to Complexity-Based Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-61050-9_24-1openalex-snapshot
Task Allocation and Role Distribution in Humane-AI Ecosystems
inferred← citeshttps://doi.org/10.1007/978-3-031-62146-8_2openalex-snapshot
Programming Approaches for Large-Scale IoT System Development: State of the Art
inferred← citeshttps://doi.org/10.1007/978-3-031-74209-5_9openalex-snapshot
Using Learning from Answer Sets for Robust Question Answering with LLM
inferred← citeshttps://doi.org/10.1007/978-3-031-77792-9_9openalex-snapshot
Structured Representations for Narratives
inferred← citeshttps://doi.org/10.1007/978-3-031-77918-3_14openalex-snapshot
Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-01399-6_8openalex-snapshot
Ladder of Intentions: Unifying Agent Architectures for Explainability and Transferability
inferred← citeshttps://doi.org/10.1007/978-3-032-04247-7_3openalex-snapshot
Surgical Task Planning and Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-00948-3_2openalex-snapshot
On Formalising Policy Refinement in Grid Virtual Organisations
inferred← citeshttps://doi.org/10.1007/978-3-319-01790-7_3openalex-snapshot
Representing and Reasoning about Changing Spatial Extensions of Geographic Features
inferred← citeshttps://doi.org/10.1007/978-3-319-02621-3_14openalex-snapshot
Formulating the Temporal Causal Relationships Between Events and Their Results
inferred← citeshttps://doi.org/10.1007/978-3-319-03653-3_25openalex-snapshot
Facilitating Human-Robot Interaction: A Formal Logic for Task Description
inferred← citeshttps://doi.org/10.1007/978-3-319-07064-3_40openalex-snapshot
Being Logical or Going with the Flow? A Comparison of Complex Event Processing Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07064-3_42openalex-snapshot
Declarative Reasoning Approaches for Agent Coordination
inferred← citeshttps://doi.org/10.1007/978-3-319-07215-9_5openalex-snapshot
Data-Oriented Declarative Language for Optimizing Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-08681-1_2openalex-snapshot
Collective Intelligence and Algorithmic Governance of Socio-Technical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-09870-8_2openalex-snapshot
A Logical Characterization of a Reactive System Language
inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_9openalex-snapshot
Automated Error-Detection and Repair for Compositional Software Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-10518-5_13openalex-snapshot
Temporal State Management for Supporting the Real-Time Analysis of Clinical Data
inferred← citeshttps://doi.org/10.1007/978-3-319-11364-7_8openalex-snapshot
An Agent Architecture for Concurrent Bilateral Negotiations
inferred← citeshttps://doi.org/10.1007/978-3-319-12817-7_8openalex-snapshot
A Formal Approach for a Dependability Assessment of a mHealth Monitoring System
inferred← citeshttps://doi.org/10.1007/978-3-319-12922-8_11openalex-snapshot
Using Cognitive Ubiquitous Robots for Assisting Dependent People in Smart Spaces
inferred← citeshttps://doi.org/10.1007/978-3-319-13191-7_21openalex-snapshot
Activity Recognition for an Agent-Oriented Personal Health System
inferred← citeshttps://doi.org/10.1007/978-3-319-15895-2_31openalex-snapshot
YAWL in the Cloud: Supporting Process Sharing and Variability
inferred← citeshttps://doi.org/10.1007/978-3-319-17822-6_9openalex-snapshot
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-19626-8_1openalex-snapshot
Introduction to Argument and Explanation
inferred← citeshttps://doi.org/10.1007/978-3-319-21542-6_5openalex-snapshot
Distribution and Uncertainty in Complex Event Recognition
inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_1openalex-snapshot
Stable Models for Temporal Theories
inferred← citeshttps://doi.org/10.1007/978-3-319-23291-1_8openalex-snapshot
Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals
inferred← citeshttps://doi.org/10.1007/978-3-319-23485-4_14openalex-snapshot
Clinical Decision Support for Active and Healthy Ageing: An Intelligent Monitoring Approach of Daily Living Activities
showing the first 200 of 1400 · page through all 1400
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.