Skip to main content
Thammasat University Digital Collections
Home
Browse All
Log in

Help

English
English
Deutsch
Español
Pirate English
한국어 Korean
Français
ไทย Thai
Search
Advanced Search
Find results with:
error div
Add another field
Search by date
Search by date:
from
after
before
on
from:
to
to:
Searching collections:
Ebook Collection
Add or remove collections
Home
Ebook Collection
Mathematical aspects of logic programming semantics
Reference URL
Share
Add tags
Comment
Rate
To link to this object, paste this link in email, IM or document
To embed this object, paste this HTML in website
Mathematical aspects of logic programming semantics
Download
small (250x250 max)
medium (500x500 max)
Large
Extra Large
large ( > 500x500)
Full Resolution
Print
There is no file associated with this item.
Description
Rating
Title
Mathematical
aspects
of
logic
programming
semantics
Creator
Hitzler, Pascal
Seda, Anthony
DescriptionAbstract
Covering
the
authors
'
own
stateoftheart
research
results
,
Mathematical
Aspects
of
Logic
Programming
Semantics
presents
a
rigorous
,
modern
account
of the
mathematical
methods
and
tools
required
for the
semantic
analysis
of
logic
programs
.
It
significantly
extends
the
tools
and
methods
from
traditional
order
theory
to
include
nonconventional
methods
from
mathematical
analysis
that
depend
on
topology
,
domain
theory
,
generalized
distance
functions
, and
associated
fixedpoint
theory.The
book
covers
topics
spanning
the
period
from the
early
days
of
logic
programming
to
current
times
.
It
discusses
applications
to
computational
logic
and
potential
applications
to the
integration
of
models
of
computation
,
knowledge
representation
and
reasoning
, and the
Semantic
Web
. The
authors
develop
wellknown
and
important
semantics
in
logic
programming
from a
unified
point
of
view
using
both
order
theory
and
new
,
nontraditional
methods
. They
closely
examine
the
interrelationships
between
various
semantics
as
well
as the
integration
of
logic
programming
and
connectionist
systems/neural
networks.For
readers
interested
in the
interface
between
mathematics
and
computer
science
, this
book
offers
a
detailed
development
of the
mathematical
techniques
necessary
for
studying
the
semantics
of
logic
programs
.
It
illustrates
the
main
semantics
of
logic
programs
and
applies
the
methods
in the
context
of
neuralsymbolic
integrationProvided
by
publisher
.
DescriptionTable Of Contents
1
.
Order
and
logic

2
. The
semantics
of
logic
problems

3
.
Topology
and
logic
programming

4
.
Fixedpoint
theory
for
generalized
metric
spaces

5
.
Supported
model
semantics

6
.
Stable
and
perfect
model
semantics

7
.
Logic
programming
and
artificial
neural
networks

8
.
Final
thoughts
.
Publisher
CRC Press
Subject
Logic programming
Programming languages (Electronic computers)  Semantics
Identifier (Full text)
http://marc.crcnetbase.com/isbn/9781439829622
ISBN
9781439829622
(ebook)
Language
eng
Type
Text
FormatExtent
1 online resource (xxx, 274 p.)
Date
2011
RelationIs Part Of
Chapman & Hall/CRC studies in informatics series.
Purchased by
Puey Ungphakorn Library, Rangsit Campus
OCLC number
989090646
CONTENTdm number
16315
Tags
Add tags
for Mathematical aspects of logic programming semantics
View as list

View as tag cloud

report abuse
Comments
Post a Comment
for
Mathematical aspects of logic programming semantics
Your rating was saved.
you wish to report:
Your comment:
Your Name:
...
Back to top
Select the collections to add or remove from your search
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Select All Collections
E
Ebook Collection
EReference
ETDA Publications
I
ISEAS (Institute of Southeast Asian Studies)
S
Somdet Phra Nyanasamvara
Special project (Bachelor of Arts Program in Journalism and Mass Communication)
T
Thailand Research Fund (TRF)
Thammasat History Collection
Thammasat University Research
Thammasat University Textbooks
Thammasat University Theses
The 2011 Flood at TU
The Foundation for the Promotion of Social Sciences and Humanities
The Thai Democratization Center
W
Wat Bowonniwet Vihara Cremation Collection
500
You have selected:
1
OK
Cancel