Filters








15,139 Hits in 7.4 sec

A knowledge server for reasoning about temporal constraints between classes and instances of events

Paolo Terenziani, Luca Anselma
2004 International Journal of Intelligent Systems  
The temporal constraints between the classes of events must be inherited by the instances, and the consistency of both types of constraints must be checked.  ...  types of actions needed to achieve a goal) and temporal constraints between instances of events (e.g., between the specific actions being executed).  ...  However, we still take into account the trade-off between expressiveness and computational complexity, and we are more inclined to add only tractable extensions to our current approach.  ... 
doi:10.1002/int.20030 fatcat:vg5xx7xt4rfedd6bxjware3hdq

Temporal reasoning about composite and/or periodic events

Paolo Terenziani, Luca Anselma
2006 Journal of experimental and theoretical artificial intelligence (Print)  
Such events represent 'classes', since they can be instantiated to specific executions of the plan, guideline etc., and each execution must 'respect' the temporal constraints imposed on the corresponding  ...  To achieve such an objective, we propose a tractable domain-independent temporal reasoner.  ...  of a knowledge base of temporal constraints regarding both classes and instances of events.  ... 
doi:10.1080/09528130500412050 fatcat:6anom5gcsbcpfdqbdkqyetmari

Recursive representation of periodicity and temporal reasoning

L. Anselma
2004 Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004.  
Moreover, we define two algorithms for performing consistency checking on knowledge bases of (possibly repeated/periodic) classes and instances of events retaining the efficiency of less expressive approaches  ...  Also, in these domains it can be useful to give support to composite events, as well as classes of events (i.e. types of actions) and instances of events (i.e. specific actions).  ...  Paolo Terenziani for the fundamental contribution as well as his precious help and valuable guidance.  ... 
doi:10.1109/time.2004.1314419 dblp:conf/time/Anselma04 fatcat:qn4qdj4l7rfvnf7q4hzzng4nue

Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines

Luca Anselma, Paolo Terenziani, Stefania Montani, Alessio Bottrighi
2006 Artificial Intelligence in Medicine  
Objective: In this paper, we define a principled approach to represent temporal constraints in clinical guidelines and to reason (i.e., perform inferences in the form of constraint propagation) on them  ...  Methodology: We first propose a temporal representation formalism and two temporal reasoning algorithms.  ...  Gianpaolo Molino, Azienda Ospedaliera San Giovanni Battista, Turin, Italy, who provided us examples of temporal constraints taken from clinical guidelines. We are also very grateful to Prof.  ... 
doi:10.1016/j.artmed.2006.03.007 pmid:16766167 fatcat:2yaqj2na7jdxdgcktjxiaatmmu

Unsupervised recognition of interleaved activities of daily living through ontological and probabilistic reasoning

Daniele Riboni, Timo Sztyler, Gabriele Civitarese, Heiner Stuckenschmidt
2016 Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '16  
By matching observed sensor events with semantic correlations, a statistical reasoner formulates initial hypotheses about the occurred activities.  ...  Through ontological reasoning, we derive semantic correlations among activities and sensor events.  ...  Acknowledgement The authors would like to thank Melisachew Chekol and Jakob Huber for their work on extending Markov Logic with numerical constraints that has proven to be very useful for the work reported  ... 
doi:10.1145/2971648.2971691 dblp:conf/huc/RiboniSCS16 fatcat:ak7n5t7pwzhqxdh3mjfkxeinwu

A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features [chapter]

António Silva, Tiago Oliveira, José Neves, Ken Satoh, Paulo Novais
2017 Lecture Notes in Computer Science  
The purpose of this work is thus to present a system that, in addition to Q&A reasoning, is equipped with other functionalities such as the scheduling and temporal management of clinical tasks, the mapping  ...  and performing reasoning upon it, based on the rules from Clinical Practice Guidelines.  ...  Acknowledgements This work has been supported by COMPETE: POCI-01-0145-FEDER-0070 43 and FCT Fundação para a Ciência e Tecnologia within the Project Scope UID/CEC/ 00319/2013.  ... 
doi:10.1007/978-3-319-70887-4_5 fatcat:3eeylkyv2bdorktoq3emhr3qne

Automatic treatment of temporal issues in clinical guidelines in the GLARE system

Luca Anselma, Paolo Terenziani, Stefania Montani, Alessio Bottrighi
2007 Studies in Health Technology and Informatics  
For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitions of actions are essential in order to cope with clinical therapies.  ...  Specifically, it provides the possibility to represent such constraints and reason with them (i.e., perform inferences in the form of constraint propagation).  ...  Gianpaolo Molino, Azienda Ospedaliera San Giovanni Battista, Turin, Italy and his group for their continuous advise and cooperation in developing and testing the GLARE system, and, specifically, the temporal  ... 
pmid:17911853 fatcat:ro5kz77b65e45fc2yly25arxri

SHARE-ODS: An Ontology Data Service for Search and Rescue Operations [chapter]

Stasinos Konstantopoulos, Georgios Paliouras, Symeon Chatzinotas
2006 Lecture Notes in Computer Science  
of knowledge representation and reasoning.  ...  Modelling the spatio-temporal aspects of an operation in alignment with possibly-unreliable information automatically extracted from multimedia objects, introduces a number of challenges for the field  ...  Events relate a temporal instance with some other characteristic or instance of the operation. For example, a Manpower Report Event instance relates a Time Point with the manpower at that time.  ... 
doi:10.1007/11752912_60 fatcat:avac4xkjhjd7rlt3vnpda5kona

Idan: A Distributed Temporal-Abstraction Mediator for Medical Databases [chapter]

David Boaz, Yuval Shahar
2003 Lecture Notes in Computer Science  
A temporal-abstraction database mediator is a modular approach designed for answering abstract, time-oriented queries.  ...  We describe a highly modular, distributed implementation of the temporal database mediator architecture in the medical domain, and provide insights regarding the effective implementation and application  ...  We thank Samson Tu and Martin O'connor for useful discussions regarding the Chronus-II and RASTA systems, and Drs.  ... 
doi:10.1007/978-3-540-39907-0_3 fatcat:2u3zs4nmqnarrccbuwrryaehdu

Toward a comprehensive treatment of temporal constraints about periodic events

Paolo Terenziani
2003 International Journal of Intelligent Systems  
We propose a specialized high-level formalism to represent temporal constraints about periodic events; temporal reasoning on the formalism is performed by a path-consistency algorithm repeatedly applying  ...  our operations of inversion, intersection, and composition and by a specialized reasoner about periods and numeric quantification.  ...  PC for PE takes in input the KB of temporal constraints about periodic events and the knowledge base of temporal relations between periods and checks the consistency of the temporal constraints and infers  ... 
doi:10.1002/int.10090 fatcat:j7l4n67xwfetxmctmw6bj3dacu

Event-Based Alert Correlation System to Detect SQLI Activities

Faeiz Alserhani, Monis Akhlaq, Irfan U. Awan, Andrea J. Cullen
2011 2011 IEEE International Conference on Advanced Information Networking and Applications  
In this paper, we have identified the limitations of the current techniques and propose a model for alert correlation that overcomes the shortcomings.  ...  The proposed model has been implemented in real-time and has successfully generated security events on establishing a correlation between attack signatures.  ...  The limitation of their work is the use of only attack class and temporal as features.  ... 
doi:10.1109/aina.2011.102 dblp:conf/aina/AlserhaniAAC11 fatcat:cqzyrg3jtzdernhanam7xz2qwa

A Hybrid Approach to the Verification of Computer Interpretable Guidelines [chapter]

Luca Anselma, Alessio Bottrighi, Laura Giordano, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
2015 Lecture Notes in Computer Science  
In this paper, we propose a general and hybrid approach to address such a task, suggesting that, given the heterogeneous character of the knowledge in CIGs, different forms of verification should be supported  ...  However, the complexity of CIGs (which may contain hundreds of related clinical activities) demands for a verification process, aimed at assuring that a CIG satisfies several different types of properties  ...  Consider, for instance, a Knowledge Base KB containing the temporal constraints (i) and (ii) among three events A, B and C.  ... 
doi:10.1007/978-3-319-28007-3_19 fatcat:pu3crx4n4ncylak6be3jgbfvbq

Design and implementation of advanced knowledge processing in the KBMS KRISYS

J. Thomas, S. Deßloch, N. Mattos
1995 SIGMOD record  
In this paper we present design alternatives and implementation techniques for such kinds of advanced DBMS, strongly focussing on query and knowledge processing in client/server architectures.  ...  and knowledge-based application systems.  ...  Event management is integrated into the regular KB objects by • keeping an event profile for each object that contains information about the events to be recorded and about the constraints that are affected  ... 
doi:10.1145/568271.223892 fatcat:z2sslhxyufde7bzommyejrippi

Design and implementation of advanced knowledge processing in the KBMS KRISYS

J. Thomas, S. Deßloch, N. Mattos
1995 Proceedings of the 1995 ACM SIGMOD international conference on Management of data - SIGMOD '95  
In this paper we present design alternatives and implementation techniques for such kinds of advanced DBMS, strongly focussing on query and knowledge processing in client/server architectures.  ...  and knowledge-based application systems.  ...  Event management is integrated into the regular KB objects by • keeping an event profile for each object that contains information about the events to be recorded and about the constraints that are affected  ... 
doi:10.1145/223784.223892 dblp:conf/sigmod/ThomasDM95 fatcat:qki2lklz6fax7jhdpezg265k2q

Design and Implementation of Advanced Knowledge Processing in the KBMS KRISYS [chapter]

S. Deßloch, N. Mattos, B. Mitschang, J. Thomas
1995 Informatik aktuell  
In this paper we present design alternatives and implementation techniques for such kinds of advanced DBMS, strongly focussing on query and knowledge processing in client/server architectures.  ...  and knowledge-based application systems.  ...  Event management is integrated into the regular KB objects by • keeping an event profile for each object that contains information about the events to be recorded and about the constraints that are affected  ... 
doi:10.1007/978-3-642-79646-3_26 dblp:conf/btw/DesslochMMT95 fatcat:fqbhtubx3bbohdw4gb4rdc4iya
« Previous Showing results 1 — 15 out of 15,139 results