[PDF] Top 20 Temporal STIT logic and its application to normative reasoning
Has 10000 "Temporal STIT logic and its application to normative reasoning" found on our website. Below are the top 20 most common "Temporal STIT logic and its application to normative reasoning".
Temporal STIT logic and its application to normative reasoning
... Another logic that is related to the logic T-STIT presented in Section 2 is Schwarzentruber’s (2012) variant of STIT with discrete time extended with the tense operator ‘next’ of linear ... Voir le document complet
29
Temporal STIT logic and its application to normative reasoning
... of STIT (e.g., completeness and decidability) has mainly focused on atemporal STIT, while extensions of STIT by tense operators are far less well studied and ...of normative ... Voir le document complet
30
Complexity of Monadic inf-datalog. Application to temporal logic.
... various temporal logics (CTL, ETL, alternation- free Modal µ-calculus, and Modal µ-calculus, by increasing order of expressive power []) into Monadic inf-Datalog and we also gave translations from ... Voir le document complet
7
Comparing semantics for temporal STIT logic
... topic and present the structure of the ...choices, and summarize the rationale of our ...for STIT logics is proposed by Bel- nap et al. in [2] and is based on the so-called BT+AC structures: ... Voir le document complet
38
Feature model debugging based on description logic reasoning
... features to model all of the possible configurations and applications of a ...SPLs to be used in re-use- based software development ...variability and commonality of product lines in a ... Voir le document complet
8
Comparing semantics for temporal STIT logic
... topic and present the structure of the ...choices, and summarize the rationale of our ...for STIT logics is proposed by Bel- nap et al. in [2] and is based on the so-called BT+AC structures: ... Voir le document complet
37
What is wrong about Pereleman-Toulmin's opposition between Legal Reasoning and Logic?
... already, and plea that what we need is more rather than less ...of its premises to the truth of its ...solutions to logical problems, if the problem is related to ... Voir le document complet
23
A simple logic for reasoning about incomplete knowledge
... for reasoning about uncertainty Epistemic or doxastic logics have a claim to reason about incomplete knowledge or about ...correspond to different streams of thought and different ...theories ... Voir le document complet
17
Concurrent Game Structures for Temporal STIT Logic
... Although STIT theory has a solid philosophical basis, at the current stage, its applicability to multi-agent systems (MAS) is limited for at least two ...for STIT use notions such as mo- ment, ... Voir le document complet
11
Reasoning about conditions in STIT logic
... sale to 2 could not be effective at t 0 and so at t 1 , we pretend to be in a fictitious history in which the sale from 1 to 2 took place at t 0 ...approach to legal conditions is ... Voir le document complet
21
Reasoning about conditions in STIT logic
... sale to 2 could not be effective at t 0 and so at t 1 , we pretend to be in a fictitious history in which the sale from 1 to 2 took place at t 0 ...approach to legal conditions is ... Voir le document complet
20
A simple logic for reasoning about incomplete knowledge
... for reasoning about uncertainty Epistemic or doxastic logics have a claim to reason about incomplete knowledge or about ...correspond to different streams of thought and different ...theories ... Voir le document complet
16
A modal logic for reasoning on consistency and completeness of regulations
... order to deal with more general regulations, this present work must be ...have to extend it by considering more notions, among them time and ...obligations and we will have to consider ... Voir le document complet
18
Conditionals and Legal Reasoning. Elements of a Logic of Law
... Plays and on How to Challenge Pieces of evidence In relation to the specific content of a given instance of a conditional right, it definitely concerns the development of formation plays where the ... Voir le document complet
43
Automata and temporal logic over arbitrary linear time
... Introduction Temporal logic, in particular LTL, was proposed by Pnueli to specify the behaviour of re- active systems ...numbers, and executions of the system are seen as infinite words on ... Voir le document complet
14
Linear Temporal Logic and Propositional Schemata, Back and Forth
... >Uφ and def Gφ = ¬F¬φ, meaning respectively “φ eventually holds” def and “φ always ...⇒ and ⇔ are defined as usual (the naive elimination of ⇔ is exponential but it can be made linear by using ... Voir le document complet
9
ATOME : a blackboard architecture with temporal and hypothetical reasoning
... deposit and dissemination of sci- entific research documents, whether they are pub- lished or ...teaching and research institutions in France or abroad, or from public or private research ... Voir le document complet
23
Modelling Moral Reasoning and Ethical Responsibility with Logic Programming
... initiate and terminate which fluents, and which fluents are preconditions to which ...P and of their negation (variables F1, F2, ...default and require the agent’s volition in addition ... Voir le document complet
17
MIM-Logic: a logic for reasoning about molecular interaction maps
... likely to never exist, that is why handling qualitative representations of such data is often ...aim to use best of both ...source and mo- tivation of the development of Hypothesis-driven research in ... Voir le document complet
179
Reasoning with the Fuzzy Description Logic fZSI
... need to pro- cess the content of information instead of just pre- senting information to humans (McGuinness and van Harmelen, ...RDF, and RDF Schema (RDFS). This ability of OWL is enabled by ... Voir le document complet
11
Sujets connexes