Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Negation as instantiation

From MaRDI portal
Publication:1898466
Jump to:navigation, search

DOI10.1006/inco.1995.1113zbMath0835.68107OpenAlexW2086959410MaRDI QIDQ1898466

Catuscia Palamidessi, Alessandra Di Pierro, Maurizio Martelli

Publication date: 22 April 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1b6544ecc0be385ef3976dfa395e2c1e4653d9c1


zbMATH Keywords

SLD-resolutionnegation as instantiation


Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)


Related Items

Implementing constructive intensional negation ⋮ Autoepistemic logic programming



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1898466&oldid=14307431"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 14:46.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki