The Retrieval Problem in a Concept Language with Number Restrictions. - Aida Vitória; Margarida Mamede; Luís Monteiro (EPIA, 1995)

Integrating Concept-Based Knowledge Bases. - Aida Vitória; Margarida Mamede (Description Logics, 1999)

Is PL2 a Tractable Language? - Aida Vitória; Margarida Mamede (EPIA, 1999)

On the Integration of Recursive ALN-Theories. - Aida Vitória; Margarida Mamede (AI, 2000)

User Preference Information in Query Answering. - Pierangelo Dell'Acqua; Luís Moniz Pereira; Aida Vitória (FQAS, 2002)

Defining Rough Sets by Extended Logic Programs. - Jan Maluszynski; Aida Vitória (Paraconsistent Computational Logic, 2002)

A Logic Programming Framework for Rough Sets. - Aida Vitória; Jan Maluszynski (Rough Sets and Current Trends in Computing, 2002)

Query Answering in Rough Knowledge Bases. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (RSFDGrC, 2003)

From Rough Sets to Rough Knowledge Bases. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (Fundam. Informaticae, 2003)

Toward Rough Knowledge Bases with Quantitative Measures. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (Rough Sets and Current Trends in Computing, 2004)

Toward Rough Datalog: Embedding Rough Sets in Prolog. - Jan Maluszynski; Aida Vitória (Rough-Neural Computing: Techniques for Computing with Words, 2004)

RoSy: A Rough Knowledge Base System. - Robin Andersson; Aida Vitória; Jan Maluszynski; Henryk Jan Komorowski (RSFDGrC (2), 2005)

A Framework for Reasoning with Rough Sets. - Aida Vitória (Trans. Rough Sets, 2005)

A Four-Valued Logic for Rough Set-Like Approximate Reasoning. - Jan Maluszynski; Andrzej Szalas; Aida Vitória (Trans. Rough Sets, 2007)

Paraconsistent Logic Programs with Four-Valued Rough Sets. - Jan Maluszynski; Andrzej Szalas; Aida Vitória (RSCTC, 2008)

Four-Valued Extension of Rough Sets. - Aida Vitória; Andrzej Szalas; Jan Maluszynski (RSKT, 2008)

Modeling and Reasoning with Paraconsistent Rough Sets. - Aida Vitória; Jan Maluszynski; Andrzej Szalas (Fundam. Informaticae, 2009)

Reasoning with Rough Sets and Paraconsistent Rough Sets. - Aida Vitória (2010)