• No results found

[PDF] Top 20 Reasoning about hybrid reasoning : a discussion

Has 10000 "Reasoning about hybrid reasoning : a discussion" found on our website. Below are the top 20 most common "Reasoning about hybrid reasoning : a discussion".

Reasoning about hybrid reasoning : a discussion

Reasoning about hybrid reasoning : a discussion

... The second author has argued Cohn 1987,1989 for the utility of such expressiveness and has designed a special purpose, resolution based, system to perform hybrid reasoning in a many sort[r] ... See full document

8

A Framework for Medical Diagnosis using Hybrid Reasoning

A Framework for Medical Diagnosis using Hybrid Reasoning

... case-based reasoning techniques were used for diagnosis of diseases like Diabetes ...two reasoning systems, a reasoning method named the hybrid reasoning system was used in a number ... See full document

5

A Hybrid Reasoning Model for Indirect Answers

A Hybrid Reasoning Model for Indirect Answers

... To give a high-level description of our answer interpretation algorithm, first, each top-level answer discourse plan operator is instantiated with the questioned proposition from the dis[r] ... See full document

8

The RACE Project: Robustness by Autonomous Competence Enhancement

The RACE Project: Robustness by Autonomous Competence Enhancement

... Abstract This paper reports on the aims, the approach, and the results of the European project RACE. The project aim was to enhance the behavior of an au- tonomous robot by having the robot learn from con- ceptualized ... See full document

9

Modelling And Reasoning About Trust
Relationships In The Development Of
Trustworthy Information Systems

Modelling And Reasoning About Trust Relationships In The Development Of Trustworthy Information Systems

... Having defined trust and trustworthiness in general, can we trust specifically tech- nical entities, such as computers, mobile devices, or information systems for our day-to-day activities? Do we actually trust the ... See full document

190

PP 2013 01: 
  Reasoning about Strategies

PP 2013 01: Reasoning about Strategies

... arguments about solution ...game-theoretic discussion between Backward Induction, a purely future-looking reasoning style, and “Forward Induction”, a way of factor- ing in the past of the game so far ... See full document

13

Introduction: Models for the Analysis of Legal Argumentation

Introduction: Models for the Analysis of Legal Argumentation

... (critical) discussion in which a legal standpoint is defended against certain forms of critique in light of certain common starting ...abductive reasoning used in the evaluation of evidence and assesses the ... See full document

5

Reasoning about Quantities in Natural Language

Reasoning about Quantities in Natural Language

... facilitating reasoning about quantities expressed in natural ...quantitative reasoning problems we first develop a computational approach which we show to successfully recognize and normalize textual ... See full document

14

Reasoning about complementary intrusion evidence

Reasoning about complementary intrusion evidence

... The size of the sliding window is critical to the effec- tiveness of the Bayesian networks. If the window size is too small (e.g., shorter than the time interval between two con- secutive system scans), some IDS alerts ... See full document

22

Moral reasoning in traffic: About the possible relations between moral reasoning and traffic safety

Moral reasoning in traffic: About the possible relations between moral reasoning and traffic safety

... is about the extent to which someone prevails his or her own needs, interests and feelings above those of others ...is about the extent to which someone wrongly attributes hostile intentions to others ... See full document

51

Leibniz on Reasoning about Impossible Concepts

Leibniz on Reasoning about Impossible Concepts

... does not talk about concepts like description logics or Leibniz’s algebra of concepts. For this reason, I chose to extend description logics instead of classical logics. A similar approach was already used in [5]. ... See full document

5

Reasoning About Willingness in Networks of Agents

Reasoning About Willingness in Networks of Agents

... agent about a dependum expresses its intrinsic readiness to actually fulfil the ...dependee about the dependum; and the reciprocity (R°) with the ... See full document

16

A Modal Temporal Logic for Reasoning about Change

A Modal Temporal Logic for Reasoning about Change

... An equivalent firstorder theory to M in which each temporal proposition Ti is a first-order constant tl and Q is a monadic predicate, Q tl &...& Q tn, has the flrst-order completion axio[r] ... See full document

6

Reasoning about bounds in weighted transition systems

Reasoning about bounds in weighted transition systems

... Our contributions in this paper have been to define a new bisimulation relation for weighted transition systems, which relates those states that have similar behavior with respect to their minimum and maximum weights on ... See full document

32

Reasoning Algebraically About Refinement on TSO Architectures

Reasoning Algebraically About Refinement on TSO Architectures

... In this section, we develop a novel method for proving refinement for TSO architec- tures, where buffer effects are taken into account. The method allows one to prove that a (concrete) process with buffer effects has the ... See full document

19

Reasoning about the executability of goal plan trees

Reasoning about the executability of goal plan trees

... When reasoning with summary information at the plan level, we seek to detect situations where the parallel or interleaved execution of actions in a plan π 0 may result in a negative interaction between the ... See full document

17

Reasoning about commitments in multiple concurrent negotiations

Reasoning about commitments in multiple concurrent negotiations

... reason about decommitment, we also deliberate about when and how to make a ...information about the actual and alternative options of their opponents in order to be able to calculate the Nash ... See full document

8

Named Graphs as a Mechanism for Reasoning about Provenance

Named Graphs as a Mechanism for Reasoning about Provenance

... Our work on semantic version control brings together the Semantic Web, digital signatures and the WikiWikiWeb, demonstrating Named Graphs to be of practical use. Not only does our solution have a query mechanism for dis- ... See full document

6

Reasoning about order errors in interaction

Reasoning about order errors in interaction

... The usability specification part of the theorem states that if we assume the vending machine starts in its reset state, and the user does not have chocolate but has [r] ... See full document

16

An approach to formal reasoning about programs

An approach to formal reasoning about programs

... To shm·, correctness of a program it is necessary to find an expression for its termination properties which will depend on the induction rules f"or the data structures of the program...[r] ... See full document

133

Show all 10000 documents...