Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols

Marco Calautti, Sergio Greco, Irina Trubitsyna

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Article

Search results