Paula C. Souza

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Knowledge Representation Language

Stable Model Semantics

Computational Logic

Procedural Semantics

Top Venues

Publications

Alexsandro S. Soares, Carlos R. Lopes, Paula C. Souza, Sergio C. Peres
An approach for teaching logic programming based on real-world applications. FIE (2013)