పుస్తకాల శోధన
పుస్తకాలు
మాకు మద్దతు ఇవ్వాలనుకుంటే
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
Semantic Matchmaking with Nonmonotonic Description Logics
IOS Press
Stephan Grimm
semantic
reasoning
matchmaking
descriptions
closure
ontology
discovery
ontologies
matching
epistemic
owl
logics
resource
nonmonotonic
different
modelling
graphics
concrete
classical
match
models
first
circumscriptive
resources
predicates
provider
individuals
instances
constraint
wsml
context
systems
formalisms
specific
techniques
circumscription
logistics
proceedings
extensions
axiom
logical
tableaux
supply
annotation
αi
positive
axioms
formal
adapter
offer
సంవత్సరం:
2009
భాష:
english
ఫైల్:
PDF, 20.87 MB
మీ ట్యాగ్లు:
0
/
0
english, 2009
2
Solving the frame problem : a mathematical investigation of the common sense law of inertia
The MIT Press
Murray Shanahan
axioms
calculus
happens
event
predicate
axiom
fluents
loaded
holdsat
minimisation
circumscription
fluent
circ
formulae
formula
effect
initiates
events
conjunction
theorem
terminates
reasoning
approach
situations
function
narrative
models
proposition
effects
consider
programming
intelligence
clause
constraints
holdsin
existence
initially
predicates
causal
figure
interpretation
logical
narratives
separation
shooting
artificial
affects
stolen
clauses
circumscriptive
సంవత్సరం:
1997
భాష:
english
ఫైల్:
DJVU, 4.24 MB
మీ ట్యాగ్లు:
0
/
0
english, 1997
3
Philosophical Logic and Artificial Intelligence
Springer Netherlands
Richmond Thomason (auth.)
,
Richmond H. Thomason (eds.)
trusting
reasoning
axioms
messages
ab2
theorem
processor
theories
systems
proposition
consistent
mccarthy
predicate
circumscriptive
artificial
nonmonotonic
intelligence
facts
minimality
sentence
axiom
models
consider
formulas
honest
cases
computational
labelled
function
logical
philosophical
constraints
assume
policy
vpc
formula
circumscription
false
ray
defined
approach
halpern
situations
conditionally
interpreted
causal
modal
atomic
context
complexity
సంవత్సరం:
1989
భాష:
english
ఫైల్:
PDF, 8.74 MB
మీ ట్యాగ్లు:
0
/
0
english, 1989
4
Non-Monotonic Reasoning: 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings
Springer-Verlag Berlin Heidelberg
David Makinson (auth.)
,
M. Reinfrank
,
J. de Kleer
,
M. L. Ginsberg
,
E. Sandewall (eds.)
reasoning
assumptions
defaults
axioms
monotonic
circumscription
theories
nonmonotonic
stable
assumption
autoepistemic
axiom
extensions
intelligence
inheritance
inference
models
atms
artificial
theorem
belief
consider
consistent
preference
beliefs
predicates
sentence
systems
cumulative
logics
reiter
interpretation
justifications
node
justification
proposition
approach
defined
context
negation
predicate
flies
hael
proceedings
partial
tweety
sets
false
conclusion
maximal
సంవత్సరం:
1989
భాష:
english
ఫైల్:
DJVU, 1.87 MB
మీ ట్యాగ్లు:
0
/
0
english, 1989
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×