Search results for: Mario R. F. Benevides
Lecture Notes in Computer Science > Innovative Concepts for Autonomic and Agent-Based Systems > 299-311
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 2: Contributed Papers > 123-134
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 83-97
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 28-35
Journal of Philosophical Logic > 2003 > 32 > 4 > 343-355