With the help of computer symbolic computation software e.g., Maple , abundant interaction solutions of sine-Gordon equation are obtained by means of a constructed Wronskian form expansion method. The method is based upon the forms and structures of Wronskian solutions of sine-Gordon equation, and the functions used in the Wronskian determinants do not satisfy linear partial differential equati...

Bunga Bondar Village has a unique culture called Marjambar. Marjambar is held by distributing pastries typical of the local community during religious holidays, which are ahead Eid al-Fitr for Muslims and one day before New Year Christians. This study aims to analyze multiculturalism model that exists in marjambar. uses Mead's symbolic interaction theory. The research method this qualitative de...

Similarly to other connectionist models, Graph Neural Networks (GNNs) lack transparency in their decision-making. A number of sub-symbolic approaches have been developed provide insights into the GNN decision making process. These are first important steps on way explainability, but generated explanations often hard understand for users that not AI experts. To overcome this problem, we introduc...

Formal verification enables developers to provide safety and security guarantees about their code. A modular verification approach supports the verification of different pieces of an application in separation. We propose symbolic linking as such a modular approach, since it allows to decide whether or not earlier verified source files can be safely linked together (i.e. earlier proven propertie...

Computational approaches to language processing arose during a time of bitter debate in the linguistics community that pitted the generative theory of grammar Cho57] versus more quantitative and empirically motivated approaches (e.g., Sha48]). An unfortunate side eeect of this feud was a schism between statistical and symbolic approaches to natural language processing that resulted in limited i...

The congeries of theoretical views collectively referred to as "situated action" (SA) claim that humans and their interactions with the world cannot be understood using symbol-system models and methodology, but only by observing them within real-world contexts or building nonsymbolic models of them. SA claims also that rapid, real-time interaction with a dynamically changing environment is not ...