researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1991
Filter by Tag
OR
AND
NOT
1
Markov
analysis
architecture
constraints
data-flow
data-flow programming
grammar
logic
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Alfonso Miola
Andreas Herzig
Andreas Strasser
Anthony Hunter
Dov M. Gabbay
Ewa Orlowska
Gheorghe Paun
Grazina Taucaite
Jacqueline Vauzeilles
Jochen Pfalzgraf
Juraj Wiedermann
Justinas Laurinskas
Ján Sefránek
Jérôme Lang
Laurent Vigneron
Luis Fariñas del Cerro
Michael Freund
Michaël Rusinowitch
Michel Herment
Mieczyslaw A. Klopotek
Filter by Top terms
[+]
OR
AND
NOT
1
1991
8-13
91
abduction
ai
analysis
approach
architectures
artificial
associative
atinf
building
data
framework
intelligence
logic
logical
proof
reasoning
systems
FAIR (fair)
Editions
Publications
Viewing Publication 1 - 21 from 21
1991
User-oriented theorem proving with the ATINF graphic proof editor
Ricardo Caferra
,
Michel Herment
,
Nicolas Zabel
.
fair 1991
:
2-10
A modal analysis of possibility theory
Luis Fariñas del Cerro
,
Andreas Herzig
.
fair 1991
:
11-18
A semantic charcterization of disjunctive relations
Michael Freund
.
fair 1991
:
72-83
Making inconsistency respectable: a logical framework for inconsistency in reasoning
Dov M. Gabbay
,
Anthony Hunter
.
fair 1991
:
19-32
Execution of defeasible temporal clauses for building preferred models
Anthony Hunter
.
fair 1991
:
84-98
Fundamentals of Artificial Intelligence Research, International Workshop FAIR 91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings
Philippe Jorrand
,
Jozef Kelemen
, editors,
Volume 535 of
Lecture Notes in Computer Science
, Springer,
1991.
On the phenomenon of flattening flexible prediction concept hierarchy
Mieczyslaw A. Klopotek
.
fair 1991
:
99-111
Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints
Jérôme Lang
.
fair 1991
:
112-126
An approach to data-driven learning
Zdravko Markov
.
fair 1991
:
127-140
Extending abduction from propositional to first-order logic
Pierre Marquis
.
fair 1991
:
141-155
Symbolic Computation and Artificial Intelligence
Alfonso Miola
.
fair 1991
:
244-255
Relational proof systems for some AI logics
Ewa Orlowska
.
fair 1991
:
33-47
Formal grammars and cognitive architectures
Gheorghe Paun
.
fair 1991
:
48-58
Building in equational theories into the connection method
Uwe Petermann
.
fair 1991
:
156-169
Logical fiberings and polycontextural systems
Jochen Pfalzgraf
.
fair 1991
:
170-184
Automated deduction with associative commutative operators
Michaël Rusinowitch
,
Laurent Vigneron
.
fair 1991
:
185-199
Inconsistencies handling: nonmonotonic and paraconsistent reasoning
Ján Sefránek
.
fair 1991
:
214-219
Towards a lattice of knowledge representation systems
Andreas Strasser
.
fair 1991
:
200-213
An approach to structural synthesis of data processing programs
Grazina Taucaite
,
Justinas Laurinskas
.
fair 1991
:
220-226
Negation as failure and intuitionistic three-valued logic
Jacqueline Vauzeilles
.
fair 1991
:
227-241
Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines
Juraj Wiedermann
.
fair 1991
:
59-70
Sign in
or
sign up
to see more results.