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
1992
1994
Filter by Tag
OR
AND
NOT
1
Meta-Environment
design
feature-oriented programming
logic
logic programming
meta-model
object-oriented programming
open-source
programming
semantics
social
source-to-source
subject-oriented programming
systematic-approach
Filter by Author
OR
AND
NOT
1
Bertrand I-Peng Lin
Cecylia Rauszer
Churn-Jung Liau
David Stuart Robertson
Flávio S. Corrêa da Silva
George M. Wilmers
Jane Hesketh
Joaquim Nunes Aparício
Jonathan Lawry
José Júlio Alferes
Keiichi Nakata
Keith Devlin
Konstantinos Georgatos
Laurence Cholvy
Luís Moniz Pereira
Peter A. Flach
Peter Gärdenfors
Petr Hájek
Yoav Shoham
Filter by Top terms
[+]
OR
AND
NOT
1
17-19
1992
agent
amsterdam
application
approach
approximate
automated
axiomatic
calculus
conference
contradiction
december
knowledge
logic
multi
programming
reasoning
representation
systems
Logic at Work (law)
Editions
Publications
Viewing Publication 1 - 15 from 15
1994
Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]
Michael Masuch
,
László Pólos
, editors,
Volume 808 of
Lecture Notes in Computer Science
, Springer,
1994.
1992
A Logical Approach to Multi-Sources Reasoning
Laurence Cholvy
.
law 1994
:
183-196
Automated Reasoning with Uncertainties
Flávio S. Corrêa da Silva
,
David Stuart Robertson
,
Jane Hesketh
.
law 1994
:
57-79
Situation Theory and Social Structure
Keith Devlin
.
law 1994
:
197-237
A Model of Inductive Reasoning
Peter A. Flach
.
law 1994
:
41-56
Knowledge Theoretic Properties of Topological Spaces
Konstantinos Georgatos
.
law 1994
:
147-159
The Role of Expectations in Reasoning
Peter Gärdenfors
.
law 1994
:
1-16
On Logics of Approximate Reasoning
Petr Hájek
.
law 1994
:
17-29
An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning
Jonathan Lawry
,
George M. Wilmers
.
law 1994
:
81-89
Gentzen Sequent Calculus for Possibilistic Reasoning
Churn-Jung Liau
,
Bertrand I-Peng Lin
.
law 1994
:
31-40
An Application of Temporal Logic for Representation and Reasoning about Design
Keiichi Nakata
.
law 1994
:
131-145
Logic Programming for Non-Monotonic Reasoning
Luís Moniz Pereira
,
Joaquim Nunes Aparício
,
José Júlio Alferes
.
law 1994
:
107-121
Contradiction Removal Semantics with Explicit Negation
Luís Moniz Pereira
,
José Júlio Alferes
,
Joaquim Nunes Aparício
.
law 1994
:
91-105
Rough Logic for Multi-Agent Systems
Cecylia Rauszer
.
law 1994
:
161-181
Agent Oriented Programming
Yoav Shoham
.
law 1994
:
123-129
Sign in
or
sign up
to see more results.