Filters








120,369 Hits in 4.9 sec

Semantics for Modelling Reason-Based Preferences [chapter]

Erica Calardo, Guido Governatori, Antonino Rotolo
2015 Lecture Notes in Computer Science  
The semantics is a sequence-based non-normal one extending and generalising semantics for classical modal logics.  ...  In this paper we show how a version of this semantics can be used to develop a sound and complete logic of preference and offer a suitable possible-world semantics.  ...  Antonino Rotolo was supported by the Unibo FARB 2012 project Mortality Salience, Legal and Social Compliance, and Economic Behaviour: Theoretical Models and Experimental Methods.  ... 
doi:10.1007/978-3-319-25524-8_7 fatcat:wl47fkogj5dttkc7yyloziwyqu

Forthcoming Papers

2002 Artificial Intelligence  
For understanding of approaches to logic programming build on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications.  2002  ...  The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics.  ...  In this paper we define a general fixed-point semantics for preference logic programs based on an embedding into the well-founded semantics, and discuss its features and relation to previous preference  ... 
doi:10.1016/s0004-3702(02)00216-3 fatcat:iqng4adjcbanxh46bjczyyedaa

Semantic Web Logic Programming Tools [chapter]

Jóse Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
The last two decades of research in Logic Programming, both at the theoretical and practical levels, have addressed several topics highly relevant for the Semantic Web effort, providing very concrete answers  ...  from the Logic Programming group of Centro de Inteligência Artificial (CENTRIA) of Universidade Nova de Lisboa, as a prelude to a description of our recent efforts to develop integrated standard tools for  ...  We would like to thank all of them for this joint work.  ... 
doi:10.1007/978-3-540-24572-8_2 fatcat:fcn3m4zgxfa6lil3yyygvkbu7e

Conversational Recommender System with Explanation Facility Using Semantic Reasoning

Zk Abdurahman Baizal, Nur Rahmawati
2016 International Journal on Information and Communication Technology (IJoICT)  
Our filtering method uses semantic reasoning with inference method to avoid overspecialization.  ...  <p>Conversational recommender system is system that provides dialogue as user guide to obtain information from the user, in order to obtain preference for products needed.  ...  It is because in the tree traced, the time required for filtering and semantic reasoning is longer.  ... 
doi:10.21108/ijoict.2016.21.64 fatcat:gkomkn5cv5gyphzqtqu53tdnlm

Sequence Semantics for Normative Agents [chapter]

Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
2016 Lecture Notes in Computer Science  
Given that the outcome operator is substructural, we first propose a novel sequence semantics (a generalisation of possible world semantics) to model the outcome operator, and we prove that the axiomatisation  ...  The sequences of alternatives is modelled by a non-classical (substructural) operator.  ...  Such semantics is a sequence-based non-normal one extending and generalising neighbourhood models for classical modal logics.  ... 
doi:10.1007/978-3-319-44832-9_14 fatcat:ldb4k4nnuzfe7pc3rdygc4zdki

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases [chapter]

Quoc Bao Vo
2005 Lecture Notes in Computer Science  
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable models, are not given up.  ...  The proposed algorithms exploit the structural information of defeasible knowledge bases to facilitate efficient computational models.  ...  For logic programs, we have stable model semantics, well-founded semantics, Kunen's 3-valued semantics, program completion-based semantics, perfect model semantics, etc. to name but a few.  ... 
doi:10.1007/11589990_91 fatcat:mauzfp77tfdmzgvyvrnh3v4ppa

Inferring Preferred Extensions by Pstable Semantics

José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
2009 Inteligencia Artificial  
Moreover, we motivate the notion of suitable codifications for developing metainterpreters of argumentation theory based on logic programming.  ...  Given an argumentation framework AF , we present a normal program Ψ AF , such that the preferred extensions of AF correspond exactly with the pstable models of Ψ AF .  ...  Our result is relevant for al least two reasons. First, it shows a very close relation between two well known NMR approaches.  ... 
doi:10.4114/ia.v13i41.1029 fatcat:oabmho6ypjhr5fx74cdjykrc2u

Piloting an Empirical Study on Measures forWorkflow Similarity

Andreas Wombacher, Maarten Rozie
2006 2006 IEEE International Conference on Services Computing (SCC'06)  
For this empirical study we base the questions on a simple workflow model.  ...  No one mentioned structural elements as a reason for preferring a different order.  ... 
doi:10.1109/scc.2006.81 dblp:conf/IEEEscc/WombacherR06 fatcat:kfap4lm57vhwpkah4afxoycuuu

Representing and Reasoning with Qualitative Preferences: Tools and Applications

Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
2016 Synthesis Lectures on Artificial Intelligence and Machine Learning  
e syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed.  ...  is book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives.  ...  e authors are grateful to Ronen Brafman at the Department of Computer Science, Ben-Gurion University, Israel for helping us clarify the semantics of CP-net and TCP-net formalisms.  ... 
doi:10.2200/s00689ed1v01y201512aim031 fatcat:kd2o66ub7rhvdfsbxv3znffcga

Semantic segmentation of real-time sensor data stream for complex activity recognition

Darpan Triboan, Liming Chen, Feng Chen, Zumin Wang
2017 Personal and Ubiquitous Computing  
the incoming sensor event is related to a given sequences of the activity.  ...  It is particularly important for complex activity recognition when the events occur in short bursts with attributes of multiple sub-tasks.  ...  These sensor sequences can be preconfigured by retrieved either from user preferences (for A-Box threads) or individuals with the type class described for a given ADL (for T-Box threads).  ... 
doi:10.1007/s00779-017-1005-5 fatcat:xiht7xgucff2xg7nf44lzivnea

A Preference-Based Semantics for CTD Reasoning [chapter]

Erica Calardo, Guido Governatori, Antonino Rotolo
2014 Lecture Notes in Computer Science  
The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.  ...  The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented.  ...  Antonino Rotolo was supported by the Unibo FARB 2012 project Mortality Salience, Legal and Social Compliance, and Economic Behaviour: Theoretical Models and Experimental Methods.  ... 
doi:10.1007/978-3-319-08615-6_5 fatcat:phg545tdaffnzcaiqc25k2z5km

OWL-Based User Preference and Behavior Routine Ontology for Ubiquitous System [chapter]

Kim Anh Pham Ngoc, Young-Koo Lee, Sung-Young Lee
2005 Lecture Notes in Computer Science  
In this paper, we propose a formal and comprehensive ontology-based model of user preference and behavior routine.  ...  Based on our model, we also present a rule learning mechanism to learn the preference and behavior rules from context data.  ...  There are several potential advantages for developing context models based on Semantic Web Ontology, such as its expressiveness, the capability of Knowledge Sharing and Knowledge Reuse; the support to  ... 
doi:10.1007/11575801_43 fatcat:jiaezcq7rzg43btdzij62amd7i

Adaptive Learning Management System Using Semantic Web Technologies

Farida Begam M, Gopinath Ganapathy
2013 International Journal of Soft Computing  
The intelligent agents are used in each module of the framework to perform reasoning and finally the personalized workflow for the e-learner has been recommended.  ...  Ontologies and semantic web services are the basics of next generation semantic web.  ...  Semantic web based E-learning services which provide different learning objects as a sequence will be identified for the learners preference.  ... 
doi:10.5121/ijsc.2013.4101 fatcat:6o25vtd5lvhifmhhfr7svthx7i

Ontology-based architecture with recommendation strategy in java tutoring system

Boban Vesin, Mirjana Ivanovic, Aleksandra Klasnja-Milicevic, Zoran Budimac
2013 Computer Science and Information Systems  
The aim of Semantic Web is to provide distributed information with well-defined meaning, understandable for humans as well as machines.  ...  E-learning is an important domain which can be benefited from the Semantic Web technology.  ...  Queries over ontology data has been performed using Sparql -query language for RDF [33] and Semantic Web rule language -SWRL has been used for rule-based reasoning [35] .  ... 
doi:10.2298/csis111231001v fatcat:z5idyajzp5bd7p2pdbqs6zgoea

Adaptive and Personalized e/m-Learning : Approaches and Techniques

Ouissem Benmesbah, LamiaMahnane, Mohamed Hafidi
2019 Conference on Innovative Trends in Computer Science  
adaptation types; the second is to study the different approaches and techniques used to implement the learning adaptation in its two main types : adaptation of the LOs selection and adaptation of the LOs sequencing  ...  the recommendation of LOs which are dependent on the domain ontology [4].  Algorithms-based techniques : -Semantic Algorithms: based on Ontology modeling and reasoning based on different types of algorithms  ...  Reasoning based On ontology is present in several works [3-9-21-22-11] . In such approach, reasoning techniques are usually applied on metadata derived from an ontology model [8] .  ... 
dblp:conf/citsc/BenmesbahLH19 fatcat:nex2pnv5qzcypcqk2bjndgtagu
« Previous Showing results 1 — 15 out of 120,369 results