• No se han encontrado resultados

[PDF] Top 20 A preliminary approach towards a logic for warrant

Has 10000 "A preliminary approach towards a logic for warrant" found on our website. Below are the top 20 most common "A preliminary approach towards a logic for warrant".

A preliminary approach towards a logic for warrant

A preliminary approach towards a logic for warrant

... warrants for literals provided that they ...warrants for more complex conclusions need to be found. For instance, suppose that the probe introduced in Example 1 needs to determine if an area is both ... See full document

10

Logical properties in defeasible logic programming -a preliminary report

Logical properties in defeasible logic programming -a preliminary report

... Logics for nonmonotonic reasoning have often been described by the property they lack—that is, monotonicity—instead of by those they do ...default logic, preferential entailment, autoepistemic logic, ... See full document

5

Towards a fuzzy logic model for chemical risk assessment by inhalation in laboratories

Towards a fuzzy logic model for chemical risk assessment by inhalation in laboratories

... Model for chemical hazards risk assessment by inhalation in ...Fuzzy Logic, instead of a probabilistic approach. Data for simulation is based on a hypothetical but completely realistic ... See full document

6

An approach for identifying design principles in argument systems . A preliminary report

An approach for identifying design principles in argument systems . A preliminary report

... Postulate 2.1 (Self defeating) For an argumen- tation system AS, its inference procedure should be warrant any self defeating argument. If self-defeating arguments are simply avoided this postulate is ... See full document

5

Methodological approach for interactive preliminary-design

Methodological approach for interactive preliminary-design

... algorithms for the trade-off among design objectives ...move towards the global optimum solution, rather to fall into local maximum ...populations for further ... See full document

382

A preliminary investigation on a revision-based approach to the status of warrant

A preliminary investigation on a revision-based approach to the status of warrant

... postulates for a revision operator, as originally exposed in [2], a deep analysis is ...required. For example, the success postulate ( K ∗ α ` α ) makes reference to a knowledge base K , which in our case ... See full document

12

With chemical leasing towards a strong sustainability approach

With chemical leasing towards a strong sustainability approach

... incentives for the companies and the legal framework to ensure the ...main approach to close material and energy loops and substitute hazardous for less or non-hazardous substances, and its ... See full document

90

Towards concept identification using a knowledge-intensive approach

Towards concept identification using a knowledge-intensive approach

... an approach to identify concepts and their types in micro posts relying on the DBpedia knowledge base and ...Our approach consist first in carrying out a preprocessing task where messages are ... See full document

5

An integrated approach for the optimal preliminary design of a malt drink production plant from sorghum

An integrated approach for the optimal preliminary design of a malt drink production plant from sorghum

... formulation for the optimal preliminary design of a malt drink plant from sor- ghum was ...time approach was implemented taken into account the proper process ... See full document

10

Geography and economic development: A municipal approach for Colombia

Geography and economic development: A municipal approach for Colombia

... The municipal income growth rate can be explained by a simple version of the Swan– Solow model. According to this model the economy reaches a “steady state” at the point at which the rate of capital/labor ratio growth ... See full document

60

TítuloA casual semantics for Logic Programming

TítuloA casual semantics for Logic Programming

... Lin’s approach does not allow answering the question “which are the causes that explain why the suitcase is open?” In fact, other solutions to the frame problem not labelled as “causal”, like those by Gustafsson ... See full document

341

Effective prover for minimal inconsistency logic

Effective prover for minimal inconsistency logic

... system for mbC had already been presented in [3], but this system is more similar to analytic tableaux than to KE: it has five branching rules, which can lead to an inefficent ...prover for mbC we devised ... See full document

10

Logic modules for communicating distributed agents

Logic modules for communicating distributed agents

... We first built our Prolog interpreter because we aim that this interpreter composed by classes can be specialized for supporting logic extensions to manipulate complex mental at[r] ... See full document

8

Modular extensions for modular (Logic) languages

Modular extensions for modular (Logic) languages

... Keywords: Compilation, Modules, Modular Program Processing, Sep- árate Compilation, Prolog, Ciao, Language Extensions, Domain Specific Languages... (e.g., experimental domain-specific l[r] ... See full document

16

Non-failure analysis for logic programs

Non-failure analysis for logic programs

... [r] ... See full document

15

Visualization designs for constraint logic programming

Visualization designs for constraint logic programming

... Although there is no elimination procedure similar to that of linear equations over the reals, a set of equations in finite domains can always be decided to have or not solution, ultim[r] ... See full document

12

Fuzzy logic techniques for data mining

Fuzzy logic techniques for data mining

... C-means al igual que otras técnicas clásicas de agrupamiento realiza una partición dura del conjunto de datos, tal partición se caracteriza porque cada dato pertenece exclusivamente a un[r] ... See full document

6

Using defeasible argumentation in progression and regression planning . Some preliminary explorations

Using defeasible argumentation in progression and regression planning . Some preliminary explorations

... The aim of this work is to study an argumentation-based formalism that an agent could use for constructing plans. In [9] we have introduced a formalism where agents have certain knowledge about their environment ... See full document

10

An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)

An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)

... In real application domains of argumentation requiring the explicit treatment of time, temporal information is not in general directly associated with arguments, but instead it is attached to the basic pieces of ... See full document

8

An approach for an algebra applied to a defeasible logic programming

An approach for an algebra applied to a defeasible logic programming

... In other words, can be useful the analysis of a characteristic associated with a certain argument dependent on the environment or a characteristic to reflect changes in the environment. This information can be applied ... See full document

10

Show all 10000 documents...