Order Total (1 Item Items):
Shipping Destination:
Combining First Order Logic Programming by Felderer Michael (8 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (8)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (6)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (8)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (8)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
US$ 50.94
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Combining First-Order Logic and Logic Programming Using Fol-programs (Paperback or Softback)
Published by VDM Verlag Dr. Mueller E.K. 5/29/2008, 2008
ISBN 10: 3639033256 ISBN 13: 9783639033250
Language: English
Paperback or Softback. Condition: New. Combining First-Order Logic and Logic Programming Using Fol-programs 0.36. Book.
-
Condition: New.
-
Combining First-Order Logic and Logic Programming Using Fol-programs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 54.43
Convert currencyUS$ 15.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 58.48
Convert currencyUS$ 52.13 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Seiten: 116 | Sprache: Englisch | Produktart: Bücher.
-
Combining First-Order Logic and Logic Programming Using Fol-programs
Published by VDM Verlag Dr. Müller, VDM Verlag Dr. Müller E.K., 2008
ISBN 10: 3639033256 ISBN 13: 9783639033250
Language: English
US$ 81.18
Convert currencyUS$ 33.54 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware - The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around Semantic-Web languages.Towards this integration we introduce fol-programs, which combine logic programs under the answer set and the wellfounded semantics with first-order logic knowledge bases and which generalize dl-programs, a closely related approach combining description logics with rules.Therefore, we define a syntax and a semantics for fol-programs, namely we define minimal model, strong answer set, weak answer set and well-founded semantics for fol-programs, to properly generalize the semantics of ordinary logic programs to fol-programs.We then show computational properties of fol-programs and prove that fol-programs are more expressive than dl-programs.Finally, we present our implementation of the well-founded semantics of fol-programs based on the deductive database engine Ontobroker and the automated theorem prover for first-order logic Vampire and discuss representative reasoning experiments on it.
-
Combining First-Order Logic and Logic Programming Using Fol-programs
Published by VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2008
ISBN 10: 3639033256 ISBN 13: 9783639033250
Language: English
US$ 67.06
Convert currencyUS$ 56.75 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around Se.
-
US$ 121.90
Convert currencyUS$ 33.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
