Sciweavers

2128 search results - page 128 / 426
» A general characterization of indulgence
Sort
View
ARGMAS
2006
Springer
15 years 8 months ago
Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
Philippe Pasquier, Iyad Rahwan, Frank Dignum, Liz ...
HYBRID
2000
Springer
15 years 8 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
WIA
2000
Springer
15 years 8 months ago
Fast Implementations of Automata Computations
Abstract. In 6], G. Myers describes a bit-vector algorithm to compute the edit distance between strings. The algorithm converts an input sequence to an output sequence in a paralle...
Anne Bergeron, Sylvie Hamel
DLOG
2008
15 years 7 months ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...
DLT
2008
15 years 6 months ago
Extended Multi Bottom-Up Tree Transducers
Extended multi bottom-up tree transducers are de ned and investigated. They are an extension of multi bottom-up tree transducers by arbitrary, not just shallow, left-hand sides of ...
Joost Engelfriet, Eric Lilin, Andreas Maletti