Work

A knowledge-based interactive verifier for logic programs

Year: 2014

Type: article

Source: International Journal of Knowledge-based and Intelligent Engineering Systems

DOI: 10.3233/kes-140294

Authors: Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

Institution: Hellenic Mediterranean University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1744916874

FWCI: 0.618

Cites: 17

Cited by: 2

Related to: 10